diff --git a/thesis.tex b/thesis.tex
index 9bbcd7c..0327647 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -136,6 +136,7 @@ Related work\dots
 \label{ch:language}
 \section{Syntax}
 \section{Static semantics}
+\section{Type and effect inference}
 \section{Dynamic semantics}
 
 \chapter{Operational Foundations for Effect Handlers}