Altre idee da nodus tollens.