При столкновении с современной формальной логикой в виде контрольной, из нашей группы в ВШЭ уволился единственный неолимпиадный бюджетный студент.