But by Tip Merge condition on $\baseof{R}$,
$A \le \baseof{L} \implies A \le \baseof{R}$, so
-$A \le \baseof{R} \lor A \le \baseof{R} \equiv A \le \baseof{R}$.
+$A \le \baseof{R} \lor A \le \baseof{L} \equiv A \le \baseof{R}$.
Thus $A \le C \equiv A \le \baseof{R}$. Ie, $\baseof{C} =
\baseof{R}$.
+\subsubsection{For $R \in \pn$:}
+
UP TO HERE
By Tip Merge, $A \le $