From 8a59e774f52ee89b29274d3148a3b72707adedc9 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 12 May 2012 00:41:30 +0100
Subject: [PATCH] strategy: new, wip

---
 strategy.tex | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/strategy.tex b/strategy.tex
index 7b977e5..c8a0bfe 100644
--- a/strategy.tex
+++ b/strategy.tex
@@ -101,10 +101,12 @@ dependencies to use.  This allows the specification of any desired
 \begin{enumerate}
 \item Add $\pc$ to $\allpatches$ if it is not there already.
 \item Let $\set S_{\pcn} = h(\pcn)
-     \cup \{ \baseof{E} \; | \; \pendsof{ \left[
-         \bigcup_{\p \in \allpatches} h(\pn) \cup h(\py)
-         \right]
-       }{ \pcy } \} $
+     \cup 
+        \bigcup_{\p \in \allpatches}
+        \bigcup_{H \in h(\pn) \lor H \in h(\py)}
+         \{ \baseof{E} \; | \; E \in \pendsof{H}{\pcy} \} $.
+
+(We write $\set S = \set S_{\pcn}$ when it's not ambiguous.)
 \end{enumerate}
 
 \section{Planning phase}
-- 
2.30.2