--- a/text/intro.tex	Tue May 25 16:50:55 2010 -0700
+++ b/text/intro.tex	Thu May 27 17:35:56 2010 -0700
@@ -257,6 +257,7 @@
 \end{property}
 
 Finally, we state two more properties, which we will not prove in this paper.
+\nn{revise this; expect that we will prove these in the paper}
 
 \begin{property}[Mapping spaces]
 Let $\pi^\infty_{\le n}(T)$ denote the $A_\infty$ $n$-category based on maps