satisfying

not defined yet