nonreversibleness

not defined yet