モードの包含と、deny がどのモードでも効くこと

定義 6.1 の判定について、$\mathrm{Run}_\mu(R) = \{q \mid D_{\mu,R}(q) = \mathrm{run}\}$ と置く。

1. $\mathrm{Auto}(\mathtt{default}) \subseteq \mathrm{Auto}(\mathtt{acceptEdits}) \subseteq \mathrm{Auto}(\mathtt{bypassPermissions})$ であり、任意の規則集合 $R$ について $\mathrm{Run}_{\mathtt{default}}(R) \subseteq \mathrm{Run}_{\mathtt{acceptEdits}}(R) \subseteq \mathrm{Run}_{\mathtt{bypassPermissions}}(R)$ である。
2. どのモード $\mu$ でも、$D_{\mu,R}(q) \ne \mathrm{block}$ である呼び出し（確認の有無を問わず、実行されうる呼び出し）の集合は $Q \setminus \mathrm{Mat}_{\mathrm{deny}}(R)$ に等しい。この主張は、3 の $\mathrm{Auto}(\mu)$ がどんな集合であっても成り立つ。
3. $\mathrm{Run}_{\mathtt{bypassPermissions}}(R) = Q \setminus (\mathrm{Mat}_{\mathrm{deny}}(R) \cup \mathrm{Mat}_{\mathrm{ask}}(R))$ で、$R$ の allow 規則に依らない。