resatisfy

not defined yet