Index: doc/theses/aaron_moss_PhD/phd/background.tex
===================================================================
--- doc/theses/aaron_moss_PhD/phd/background.tex	(revision e402bbc22768418000693e30a7b40596f6237167)
+++ doc/theses/aaron_moss_PhD/phd/background.tex	(revision 9d9a451e2d760eaa92e6087809f4576f400b3843)
@@ -89,5 +89,5 @@
 
 \CFA{} previously allowed !0! and !1! to be the names of polymorphic variables, with separate overloads for !int 0!, !int 1!, and !forall(dtype T) T* 0!. 
-As revealed in the work presented here on generic types (Chapter~\ref{generic-chap}), the parametric polymorphic zero variable is not generalizable to other types; though all null pointers have the same in-memory representation, the same cannot be said of the zero values of arbitrary types. 
+While designing \CFA{} generic types (see Chapter~\ref{generic-chap}), it was discovered that the parametric polymorphic zero variable is not generalizable to other types; though all null pointers have the same in-memory representation, the same cannot be said of the zero values of arbitrary types. 
 As such, variables that could represent !0! and !1! were phased out in favour of functions that could generate those values for a given type as appropriate.