irreversibleness
not defined yet