Exist is implemented in terms of forall