--- a/text/evmap.tex	Wed Jun 29 16:13:24 2011 -0700
+++ b/text/evmap.tex	Wed Jun 29 16:17:53 2011 -0700
@@ -98,6 +98,7 @@
 $\sbc_0(X) = \bc_0(X)$.
 (This is true for all of the examples presented in this paper.)
 Accordingly, we define $h_0 = 0$.
+\nn{Since we now have an axiom providing this, we should use it. (At present, the axiom is only for morphisms, not fields.)}
 
 Next we define $h_1$.
 Let $b\in C_1$ be a 1-blob diagram.