presatisfies