reversal
not defined yet