Итоги голосования для комментария:

Алексай

Не, там реально это есть. Практически в аксиоматике, в движении линии расуждений.