\subsection{Conditions}
\[ \eqn{ Ingredients }{
- M \le L, M \le R
+ M \le L \land M \le R
}\]
\[ \eqn{ Tip Merge }{
L \in \py \implies
\right]
}\]
\[ \eqn{ Foreign Merges }{
- \patchof{L} = \bot \equiv \patchof{R} = \bot
+ \patchof{L} = \bot \implies \patchof{R} = \bot
}\]
\subsection{Non-Topbloke merges}