outsatisfy

not defined yet