tautologies

not defined yet