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 f95e8f0f6a12f260e4f5bb935eef9754ca7b38b9)
@@ -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.