strategy: new, wip

diff --git a/strategy.tex b/strategy.tex
index 7b977e5870ea2a34256850fee8ab34eee2c2f54e..c8a0bfe41846f830e22019a152b950ac53648286 100644 (file)
--- 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}