nonretrenchment

not defined yet