А разве умозаключения , формализуются сами собой,

А разве умозаключения[результаты некоего фрагмента мыслительной деятельности, в идеале], формализуются сами собой, чудесным образом?
И логично, что одним из этапов, этой самой деятельности, умственной всмысле, над тем или иным вопросом, является формулировка и (доформулировка->(c)). Ну а знак равенства, между мыслительной деятельностью и "думал", вы поставите сами
А вот если так посмотреть, Михаил, вот вы пишите и так и эдак, я все понимаю, но вот взяли бы и намекнули хотя бы.
Хотя бы направление,... направление поиска входных данных, канечно, т.к. именно с ними возникло затруднение.
Ну и в результате доформулировки, был бы положительный либо отрицательный ответ