Old definitions now become tautologous.