revertibility
not defined yet