~ Informally, $C$ has all the reachable contents of $\p$.
\item[ $ C \haspatch \p $ ]
~ Informally, $C$ has all the reachable contents of $\p$.
\item[ $ C \haspatch \p $ ]
~ Informally, $C$ nontrivially has all the reachable contents of $\p$.
Note that $\zhaspatch$ and $\nothaspatch$ are not mutually exclusive.
~ Informally, $C$ nontrivially has all the reachable contents of $\p$.
Note that $\zhaspatch$ and $\nothaspatch$ are not mutually exclusive.