diff --git a/thesis.tex b/thesis.tex
index 8b0c407..2fa61dc 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -11186,7 +11186,7 @@ meaning. It is derived from \citeauthor{Plotkin76}'s domain of
 resumptions, which in turn is derived from \citeauthor{Milner75}'s
 domain of processes~\cite{Milner75,Plotkin76}.
 
-\dhil{Briefly mention \citet{AtkeyJ15}}
+% \dhil{Briefly mention \citet{AtkeyJ15}}
 
 \part{Implementation}
 \label{p:implementation}