Мем русский язык
Доказательство корректности программ. В отличие от явно-циклических программ, для доказательства корректности рекурсивных нет необходимости искусственно вводить инвариант. А потом произошло пришествие Олжаса Сулейменова. Этот казахский Чингисхан от филологии устроил славистам такой разгром под Калкой, что они не могут отойти от потрясения до сих пор.