S $ while $ Sinmathbf{P}^{+}quadtext{iff}quad qin Squadtext{implies}quad[q) subseteq S. $ But since $ Ssubseteq[p) $