diff -r 222da6df3edc -r 41d1501e9840 pnas/pnas.tex
--- a/pnas/pnas.tex	Sun Nov 14 16:13:12 2010 -0800
+++ b/pnas/pnas.tex	Sun Nov 14 16:14:43 2010 -0800
@@ -761,6 +761,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.