diff -r a8b8ebcf07ac -r 853376c08d76 text/evmap.tex --- a/text/evmap.tex Sat Jun 26 17:22:53 2010 -0700 +++ b/text/evmap.tex Sun Jun 27 12:28:06 2010 -0700 @@ -228,7 +228,7 @@ We have $\deg(p'') = 0$ and, inductively, $f'' = p''(b'')$. %We also have that $\deg(b'') = 0 = \deg(p'')$. Choose $x' \in \bc_*(p(V))$ such that $\bd x' = f'$. -This is possible by \ref{bcontract}, \ref{disjunion} and the fact that isotopic fields +This is possible by Properties \ref{property:disjoint-union} and \ref{property:contractibility} and the fact that isotopic fields differ by a local relation \nn{give reference?}. Finally, define \[