-UP TO HERE
-
-Let $S =
- \begin{cases}
- R \in \py : & \baseof{R} \\
- R \in \pn : & R
- \end{cases}$.
-Then by Tip Merge $S \ge \baseof{L}$, and $R \ge S$ so $C \ge S$.
-
-Consider some $A \in \pn$. If $A \le S$ then $A \le C$.
-If $A \not\le S$ then
-
-Let $A \in \pends{C}{\pn}$.
-Then by Calculation Of Ends $A \in \pendsof{L,\pn} \lor A \in
-\pendsof{R,\pn}$.
-
-
-
-%$\pends{C,
-
-%%\subsubsection{For $R \in \py$:}