\subsubsection{For $L \nothaspatch P, R \nothaspatch P$:}
$D \not\isin L \land D \not\isin R$. $C \not\in \py$ (otherwise $L
\in \py$ ie $L \haspatch P$ by Tip Self Inpatch). So $D \neq C$.
\subsubsection{For $L \nothaspatch P, R \nothaspatch P$:}
$D \not\isin L \land D \not\isin R$. $C \not\in \py$ (otherwise $L
\in \py$ ie $L \haspatch P$ by Tip Self Inpatch). So $D \neq C$.