Implement forall
Implement exists
Refactor exists to use forall