tautologizing

not defined yet