Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 3b40801b86ac09b0f7245748a95b4b64fecc1f91)
+++ doc/bibliography/pl.bib	(revision 70eaa80b0f07a23246e87e901379056e4542937b)
@@ -7627,15 +7627,4 @@
 }
 
-@misc{Java-diamond,
-    keywords	= {Java, diamond inference},
-    contributer	= {a3moss@uwaterloo.ca},
-    author	= {Oracle Corporation},
-    title	= {Type Inference for Generic Instance Creation},
-    year	= 2019,
-    howpublished= {\href{https://docs.oracle.com/javase/8/docs/technotes/guides/language/type-inference-generic-instance-creation.html}
-		  {https://docs.oracle.com/\-javase/\-8/\-docs/\-technotes/\-guides/\-language/\-type-inference-generic-instance-creation.html}},
-    optnote	= {Accessed: 2019-04},
-}
-
 % U
 
Index: doc/theses/aaron_moss_PhD/phd/introduction.tex
===================================================================
--- doc/theses/aaron_moss_PhD/phd/introduction.tex	(revision 3b40801b86ac09b0f7245748a95b4b64fecc1f91)
+++ doc/theses/aaron_moss_PhD/phd/introduction.tex	(revision 70eaa80b0f07a23246e87e901379056e4542937b)
@@ -45,7 +45,8 @@
 In particular, with the addition of \emph{concepts} in \CCtwenty{}~\cite{C++Concepts}, conforming \CC{} compilers must support a model of type assertions very similar to that in \CFA{}, and the algorithmic techniques used here may prove useful. 
 \cbstart
-Much of the difficulty of type-checking \CFA{} stems from the language design choice to allow type inference from the context of a function call in addition to its arguments; this feature allows the programmers to specify fewer redundant type annotations on functions which are polymorphic in their return type. 
-Java's diamond type-inference operator~\cite{Java-diamond} and the !auto! keyword in \CCeleven{} support similar but sharply restricted forms of this contextual inference -- the demonstration of the richer inference in \CFA{} raises possibilities for similar features in future versions of these languages. 
-Scala~\cite{Scala}, by contrast, already supports a similarly-powerful \emph{local type inference} model~\cite{Pierce00,Odersky01}, so the algorithmic techniques in this thesis may be effective for Scala compiler implementors. 
-\cbend
+Much of the difficulty of type-checking \CFA{} stems from the language design choice to allow type inference from the context of a function call in addition to its arguments; this feature allows the programmers to specify fewer redundant type annotations on functions which are polymorphic in their return type.
+\cbend \cbstartx
+The !auto! keyword in \CCeleven{} supports a similar but sharply restricted form of this contextual inference -- the demonstration of the richer inference in \CFA{} raises possibilities for similar features in future versions of \CC{}. 
+By contrast, Java~8~\cite{Java8} and Scala~\cite{Scala} use comparably powerful forms of type inference, so the algorithmic techniques in this thesis may be effective for those languages' compiler implementors. 
+\cbendx
 Type environments are also widely modelled in compiler implementations, particularly for functional languages, though also increasingly commonly for other languages (such as Rust~\cite{Rust}) which perform type inference; the type environment presented here may be useful to those language implementors.
Index: doc/theses/aaron_moss_PhD/phd/thesis.tex
===================================================================
--- doc/theses/aaron_moss_PhD/phd/thesis.tex	(revision 3b40801b86ac09b0f7245748a95b4b64fecc1f91)
+++ doc/theses/aaron_moss_PhD/phd/thesis.tex	(revision 70eaa80b0f07a23246e87e901379056e4542937b)
@@ -34,4 +34,6 @@
 \usepackage[color]{changebar}
 \cbcolor{blue}
+\newcommand{\cbstartx}{\cbcolor{red} \cbstart}
+\newcommand{\cbendx}{\cbend \cbcolor{blue}}
 
 % Hyperlinks make it very easy to navigate an electronic document.