resatisfies