From 259a2d309ccfbde19838df143ff1fc88843c7d4d Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 12 Mar 2012 14:29:08 +0000
Subject: [PATCH] create tip wip

---
 article.tex | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/article.tex b/article.tex
index 69f530a..36233ae 100644
--- a/article.tex
+++ b/article.tex
@@ -538,6 +538,9 @@ Given a Topbloke base $B$, create a tip branch initial commit B.
 \[ \eqn{ Ingredients }{
  \patchof{B} = \pqn
 }\]
+\[ \eqn{ No Sneak }{
+ \pendsof{B}{\pqy} = \{ \}
+}\]
 
 \subsection{No Replay}
 
@@ -557,6 +560,19 @@ So $D \isin C \equiv D \isin \baseof{B}$.
 
 $\qed$
 
+\subsection{Base Acyclic}
+
+Not applicable.
+
+\subsection{Coherence and Patch Inclusion}
+
+Consider some $D \in \py$.
+
+\subsubsection{For $\p = \pq$:}
+
+By Base Acyclic, $D \not\isin B$.  So $D \isin C \equiv D = C$.
+By No Sneak, $D \le B \equiv D = C$.  Thus $C \haspatch \pq$.
+
 xxx up to here
 
 \section{Anticommit}
-- 
2.30.2