unify the forall and exists methods into the literally method.