\statement{Correct Base}{
\baseof{\tipcy} = \tipcn
}
+\statement{Base Correct Contents}{
+ \tipcn \haspatch \pa E
+ \equiv
+ \pa E \isdep \pc
+}
\statement{Tip Exceeds Inputs}{
\tipcy \ge \pendsof{\allsrcs}{\pcy}
}
\item
-Use $\alg{Create Base}$ with $L$ = $\pdy,\; \pq = \pc$ to generate $C$
+Use $\alg{Create Base}$ with $L$ = $\tipdy,\; \pq = \pc$ to generate $C$
and set $W \iassign C$. (Recreate Base Beginning.)
\item