tautologising

not defined yet