nonreversibility

not defined yet