В рамках парадигмы ПЙ, в которой мы тут варимся, за некоторое время нам совместными усилиями удалось уточнить для себя, как оказалось, действительно много. Настолько, что теперь сотни людей из тех, кто здесь (и не только здесь) нас читают, имеют сходное представление об аксиоматике ПЙ. Ты со временем тоже многому научишься, если не будешь противопоставлять свои знания чужим, а поищешь соприкосновений.
К примеру, твое типирование по фото лично для меня оказалось в новинку, особливо после того, как Афанасьев лично высказал свое предостережение относительно таких методов типирования.
Несовпадения в аксиоматике на уровне твоих "третья под кого хочешь подлезет, и вообще у нее все получается" (ты уж прости, что я уцепился за этот пример) показывает, что дело не "шаг влево - шаг вправо", а в действительно серьезных разночтениях.
В коих, впрочем, нет ничего плохого, ибо они на удивление выкристализовывают саму структуру знания, о чем я написал в первом посте этой темы.