diff -r 6bcf1c3d0eb6 -r d4f22a89b227 pnas/pnas.tex
--- a/pnas/pnas.tex	Sun Nov 14 16:10:31 2010 -0800
+++ b/pnas/pnas.tex	Sun Nov 14 16:14:37 2010 -0800
@@ -738,10 +738,8 @@
 \end{rem}
 This result is described in more detail as Example 6.2.8 of \cite{1009.5025}.
 
-%Fix a topological $n$-category $\cC$, which we'll now omit from notation.
-%Recall that for any $(n-1)$-manifold $Y$, the blob complex $\bc_*(Y)$ is naturally an $A_\infty$ category.
-The $A_\infty$ actions above allow us to state a gluing theorem.
-For simplicity, we omit the $n$-category $\cC$ from the notation.
+Fix a topological $n$-category $\cC$, which we'll now omit from notation.
+Recall that for any $(n-1)$-manifold $Y$, the blob complex $\bc_*(Y)$ is naturally an $A_\infty$ category.
 
 \begin{thm}[Gluing formula]
 \label{thm:gluing}
@@ -758,6 +756,9 @@
 \end{itemize}
 \end{thm}
 
+\begin{proof} (Sketch.)
+
+\end{proof}
 
 We next describe the blob complex for product manifolds, in terms of the $A_\infty$ blob complex of the $A_\infty$ $n$-categories constructed as above.