remarks on tautologies and contradictions