$L \haspatch \pa E \equiv \pa E = \pd \lor \pa E \isdep \pd$.
Now $\pd \isdirdep \pc$,
so by Coherence, and setting $\pa E = \pc$,
-$L \nothaspatch \pc$. I.e. $L \nothaspatch \pq$. $\qed$
+$L \nothaspatch \pc$. I.e. $L \nothaspatch \pq$. OK.
+
+That's everything for Create Base. $\qed$
\subsection{Tip Base Merge}