Implement forall and exists. Add tests.