of $\nothaspatch$, $M \nothaspatch \p$. So by Coherence/Inclusion $C
\haspatch \p$ (whether $R \haspatch \p$ or $\nothaspatch$).
-We will consider some $D$ and prove the Exclusive Tip Contents form.
+We will consider an arbitrary commit $D$
+and prove the Exclusive Tip Contents form.
\subsubsection{For $D \in \py$:}
$C \haspatch \p$ so by definition of $\haspatch$, $D \isin C \equiv D