last vid en gång godkända formler eller vid rent logiska syllogismer.