Я не совсем разделяю его аналогию в постройке алгоритма своих выводов но кое что интересное и я почерпнул.
Вторая часть:

Третья часть: