Implement exists; add alises for exists & forall