Та я в курсах. Мне тоже пытались объяснять. И я сделала вывод, что по этим объяснениям можно типировать объясняющего, но никак не объекты типирования.
ЗЫ: моя Штирка сидит за столом, поджав под себя одну ногу
У меня дежурная версия, что объяснениями с Сотворения Мира третьелогики развлекаются. Не все и не обязательно, но если за челом есть такой грешок - ищи у него 3Л.
