cleanest solution so exists/forall