Крипке, ты богх!
а теперь о насущном