CLASS: fixed the forall and hence the exists methods