nonsatisfying

not defined yet