tautologicalness

not defined yet