diff -r bc22926d4fb0 -r eb03c4a92f98 text/a_inf_blob.tex --- a/text/a_inf_blob.tex Thu Jun 03 09:47:18 2010 -0700 +++ b/text/a_inf_blob.tex Thu Jun 03 12:33:47 2010 -0700 @@ -221,6 +221,7 @@ \medskip +\todo{rephrase this} \begin{cor} \label{cor:new-old} The new-fangled and old-fashioned blob complexes are homotopic.