Неожиданно вопрос! А где Крипке?