tautologizer

not defined yet