Постави циљ.
Судија одлучује када је то готово.

-Судија је правила о доказима, а не о томе ко је звучао сигурније.

Покрени поклапање
Доказује математичко тврдње? theorem.chat ради исти панел и онда формализује резултат у Лиан против Mathlib, где језгро одлучује.
Докази, а не мишљења.

Every seat searches the literature on arXiv, OpenAlex, Crossref and Europe PMC, reads the sources, and runs Python to check arithmetic instead of asserting it. A claim with nothing re-checkable behind it cannot settle a criterion.

Заглављен је потез, а не неуспех.

Када седиште удари у зид, зауставља се и предаје једно конкретно питање које је најбоље место да одговори на то питање — само са тим питањем, не са целом историјом.

Дуги циљеви преживљавају

Све успостављено иде у заједничкој књизи, тако да ништа није поново изведено и ништа није заборављено. Уклапа се пауза и наставља без губитка посла — затворите језичак и вратите се сутра.