reversibly
not defined yet