TAUTOLOGIES

Definition of TAUTOLOGIES