satisfactive

not defined yet