reversibility
not defined yet