tautologism

not defined yet