Implement exists, syntax for exists & forall