precancellation

not defined yet