diff -r 9a60488cd2fc -r 805978de8880 text/intro.tex --- a/text/intro.tex Wed Oct 27 00:08:11 2010 -0700 +++ b/text/intro.tex Fri Oct 29 11:37:00 2010 +0900 @@ -277,7 +277,7 @@ \end{equation*} \end{property} -Properties \ref{property:functoriality} will be immediate from the definition given in +Property \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}.