Сегодня был экзамен по формальным методам. Препод меня стабильно улыбает тем, что похож на Ричарда Докинза.