– uvedenie úplného výpočtu premís. V praxi sa totiž často „samozrejmé“ premisy dôkazu výslovne neuvádzajú. „Někdy se nám tento postup jeví jako zbytečně puntičkářství a jistě není cílem logiky zavést do praxe mnoho slov o samozřejmostech. V případech sporných, složitých a neprůhledných je to však nutné, abychom mohli zkontrolovat, zde všechny potřebné předpoklady důkazu jsou skutečně pravdivé.“ (4;11)