tautologous

not defined yet