diff --git a/sketches.tex b/sketches.tex
index c309f16f36c286ecf6c643f5a8b946972609defb..4db8d030c31060a3cda224571ec8310cd8e0b4ed 100644
--- a/sketches.tex
+++ b/sketches.tex
@@ -36,7 +36,7 @@
     && \bot &\sqsubseteq x\\
     \implies && \phi(\bot) &\sqsubseteq \phi(x) = x \tag{\(\phi\) is \defn{monotone}{mono.}}\\
     \implies && \phi^2(\bot) &\sqsubseteq \phi^2(x) = \phi(x) = x\\
-    &&&\;\;\vdots\\
+    &&&\;\;\vdots \; \tag{i.e.\ induction}\\
     % \implies && \phi^n(\bot) &\sqsubseteq \phi^n(x) = \dots = x\\
     % &&&\;\;\vdots\\
     \implies && \underline{\mu\phi} = \bigsqcup_{i = 0}^\infty \phi^i(\bot) &\sqsubseteq \bigsqcup_{i = 0}^\infty \phi^i(x) = \underline{x}