\item TODO CHOOSE/REFINE W AND S as was done during Ranking for bases
\item $\alg{Merge}$ from $\tipcn$. That is, $L = W, \;
-R = \tipcn$ and choose any suitable $M$.
+R = \tipcn$ and $M = \baseof{W}$.
\commitproof{
- $L = W$, $R = \tipcn$.
+ \condproof{Ingredients}{
+ $M \le L$ is trivial. For $M \le R$ we want
+ $\tipcn \ge \baseof{W}$.
+ Well $W$
+ Now $\pendsof{\allreach}{\tipcy} =
+ \pendsof{\allreachof{\pcn}}{\tipcy}$
+ since we have created no commits $\in \pcn$ since
+ calculating $\tipcy$.
+
+ By Base Covers Reachable, $\tipcn \ge $
+ }
+
TODO TBD
Afterwards, $\baseof{W} = \tipcn$.