nonstultification

not defined yet