diff -r 08e80022a881 -r 7fc1a7ff9667 pnas/pnas.tex
--- a/pnas/pnas.tex	Mon Nov 01 08:40:51 2010 -0700
+++ b/pnas/pnas.tex	Tue Nov 02 08:41:11 2010 +0900
@@ -196,10 +196,10 @@
 $k$-morphisms (for $0\le k \le n$), domain and range, composition,
 identity morphisms, and special behavior in dimension $n$ (e.g. enrichment
 in some auxiliary category, or strict associativity instead of weak associativity).
-We will treat each of these it turn.
+We will treat each of these in turn.
 
 To motivate our morphism axiom, consider the venerable notion of the Moore loop space
-\nn{need citation}.
+\nn{need citation -- \S 2.2 of Adams' ``Infinite Loop Spaces''?}.
 In the standard definition of a loop space, loops are always parameterized by the unit interval $I = [0,1]$,
 so composition of loops requires a reparameterization $I\cup I \cong I$, and this leads to a proliferation
 of higher associativity relations.
@@ -223,7 +223,7 @@
 homeomorphisms to the category of sets and bijections.
 \end{axiom}
 
-Note that the functoriality in the above axiom allows us to operate via
+Note that the functoriality in the above axiom allows us to operate via \nn{fragment?}
 
 Next we consider domains and ranges of $k$-morphisms.
 Because we assume strong duality, it doesn't make much sense to subdivide the boundary of a morphism
@@ -283,9 +283,9 @@
 
 \begin{axiom}[Strict associativity] \label{nca-assoc}
 The composition (gluing) maps above are strictly associative.
-Given any splitting of a ball $B$ into smaller balls
+Given any decomposition of a ball $B$ into smaller balls
 $$\bigsqcup B_i \to B,$$ 
-any sequence of gluings (in the sense of Definition \ref{defn:gluing-decomposition}, where all the intermediate steps are also disjoint unions of balls) yields the same result.
+any sequence of gluings (where all the intermediate steps are also disjoint unions of balls) yields the same result.
 \end{axiom}
 \begin{axiom}[Product (identity) morphisms]
 \label{axiom:product}
@@ -374,6 +374,7 @@
 \nn{KW: I'm inclined to suppress all discussion of the subtleties of decompositions.
 Maybe just a single remark that we are omitting some details which appear in our
 longer paper.}
+\nn{SM: for now I disagree: the space expense is pretty minor, and it always us to be "in principle" complete. Let's see how we go for length.}
 
 A \emph{ball decomposition} of $W$ is a 
 sequence of gluings $M_0\to M_1\to\cdots\to M_m = W$ such that $M_0$ is a disjoint union of balls
@@ -456,9 +457,7 @@
 \section{Properties of the blob complex}
 \subsection{Formal properties}
 \label{sec:properties}
-The blob complex enjoys the following list of formal properties.
-
-The proofs of the first three properties are immediate from the definitions.
+The blob complex enjoys the following list of formal properties. The first three properties are immediate from the definitions.
 
 \begin{property}[Functoriality]
 \label{property:functoriality}%
@@ -516,10 +515,6 @@
 $x\in \bc_0(B^n)$ to $x - s([x])$, where $[x]$ denotes the image of $x$ in $H_0(\bc_*(B^n))$.
 \end{proof}
 
-\nn{Properties \ref{property:functoriality} will be immediate from the definition given in
-\S \ref{sec:blob-definition}, and we'll recall it at the appropriate point there.
-Properties \ref{property:disjoint-union}, \ref{property:gluing-map} and 
-\ref{property:contractibility} are established in \S \ref{sec:basic-properties}.}
 
 \subsection{Specializations}
 \label{sec:specializations}