diff --git a/gf/note.tex b/gf/note.tex
index 7be4c0e4c6e2281274c9b4208b4d0a8e373a5fb6..168d83c95ffb79d3cf556b2bc4cdba76c191d4dc 100644
--- a/gf/note.tex
+++ b/gf/note.tex
@@ -58,7 +58,8 @@ from the \GF-enhanced \smglom data.
\GF is the ``Grammatical Framework''~\cite{Ranta:GF04,ranta-2011,GF:on}, which seems
uniquely suited for our purposes. It is modular, and it is based (essentially) on LF,
-i.e. uses a dependently typed $\lambda$-calculus under the hood.
+i.e. uses a dependently typed $\lambda$-calculus under the hood. For our purposes,
+\cite{Ranta:tlled11} is a treasure trove of insights.
\section{Using the \GF Grammatical Framework for Mathematics}