presatisfy

not defined yet