tautologize

not defined yet