Screamer caps and invented gommas, quoites puntlost, forced to farce!
Некоторые знают, что Петр Устинов был денщиком Дэвида Нивена. Менее известно, что Нобуо Йонеда, придумавший лемму Йонеды, был также членом IFIP TC2 WG2.1, одним из создателей Алгола-68, единственного языка программирования с формальной семантикой, описанной белыми стихами:
Именно благодаря ему UNION коммутативен и идемпотентен.
Неожиданное сближение в этой биографии вещей казалось бы несвязанных и удалённых очень похоже на его лемму.