nonsatisfaction

not defined yet