Implement exists with forall.