diff -r 4cce595ae1d3 -r a1fa4428ddbc pnas/pnas.tex
--- a/pnas/pnas.tex	Tue Nov 16 14:49:17 2010 -0800
+++ b/pnas/pnas.tex	Tue Nov 16 14:54:51 2010 -0800
@@ -260,7 +260,7 @@
 Thus we can have the simplicity of strict associativity in exchange for more morphisms.
 We wish to imitate this strategy in higher categories.
 Because we are mainly interested in the case of strong duality, we replace the intervals $[0,r]$ not with
-a product of $k$ intervals \nn{cf xxxx} but rather with any $k$-ball, that is, any $k$-manifold which is homeomorphic
+a product of $k$ intervals (c.f. \cite{0909.2212}) but rather with any $k$-ball, that is, any $k$-manifold which is homeomorphic
 to the standard $k$-ball $B^k$.
 \nn{maybe add that in addition we want functoriality}