rephrase exists in terms of forall
fix forall/exists/map to all correctly honor the boundaries