diff -r 7fc1a7ff9667 -r 6de8871d5786 text/intro.tex --- a/text/intro.tex Tue Nov 02 08:41:11 2010 +0900 +++ b/text/intro.tex Thu Nov 04 17:01:56 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}.