--- a/text/evmap.tex	Sun May 02 08:22:42 2010 -0700
+++ b/text/evmap.tex	Wed May 05 22:58:45 2010 -0700
@@ -585,6 +585,7 @@
 $e_{m+1}$ candidates is contained in the corresponding subcomplex for $e_m$.
 \nn{now should remark that we have not, in fact, produced a contractible set of maps,
 but we have come very close}
+\nn{better: change statement of thm}