reverse tautologies