performance tweak on exists, forall