Made exists use forall