semipreservation

not defined yet