X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ian/git?a=blobdiff_plain;f=pseudomerge.tex;h=7ee7ffbbdc25e2c1140983173f4f0b8ddb5aca52;hb=81f741ff661fc6cd6954085fb2489ad9dc5cf257;hp=b4022da86f6311b91e27b7faaea1e0cff43d2019;hpb=117c31e0202e39fc17f2f12c3690942d3c991cfd;p=topbloke-formulae.git

diff --git a/pseudomerge.tex b/pseudomerge.tex
index b4022da..7ee7ffb 100644
--- a/pseudomerge.tex
+++ b/pseudomerge.tex
@@ -57,11 +57,11 @@ $A = L$ always satisfies the $\exists$.  $\qed$
 
 \subsection{Unique Base}
 
-Not applicable, by Base Only.
+Not applicable, by Base Only.  $\qed$
 
 \subsection{Tip Contents}
 
-Not applicable, by Base Only.
+Not applicable, by Base Only.  $\qed$
 
 \subsection{Base Acyclic}
 
@@ -117,3 +117,5 @@ For $D = R \in \set R, R \in \foreign$, or $R \in \pqy$: $D \not\in
 \pdn$ so Bases' Children does not apply.
 
 Other possibilities for $D \in \set R$ are excluded by Ingredients.
+
+$\qed$