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 466b1c957c4c7a51f484f52d4495189a90998cd0)
@@ -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.