Ох и достали же мы Крипке своими придирками!