Как я продаю консультации по формальным методам/формальным спецификациям.

Смотрите, после внедрения этой методики время реализации вашего проекта увеличится в четыре раза, а его бюджет возрастёт в восемь раз.

эээ.... а что это нам даст?

Ну, вы получите формальную модель вашей системы. Вот тут будут топосы Гротендика, здесь данные организуем в пространствах Чу, обрабатываем их через пучки и предпучки, вот там всё будет по лемме Йонеды, а вот тут задействуем комонады через сопряжения для бесконечных ленивых данных...

И тут почему-то в 100% случаев собеседник выходит из чата.