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