From 0b6086688e6de7212b4e21c46b3dcaf39e4cf063 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 5 Mar 2012 17:50:03 +0000
Subject: [PATCH 1/1] wip merge

---
 article.tex | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/article.tex b/article.tex
index 5619821..f8acb22 100644
--- a/article.tex
+++ b/article.tex
@@ -414,9 +414,10 @@ Thus $A \le C \equiv A \le \baseof{R}$.  Ie, $\baseof{C} =
 
 \subsubsection{For $R \in \pn$:}
 
-UP TO HERE
+By Tip Merge condition on $R$,
+$A \le \baseof{L} \implies A \le R$
 
-By Tip Merge condition on $A \le $
+UP TO HERE
 
 Let $S =
    \begin{cases} 
-- 
2.30.2