irreversibility
not defined yet