reversibleness
not defined yet