diff --git a/introduction.tex b/introduction.tex
index 565fe43..91fa31e 100644
--- a/introduction.tex
+++ b/introduction.tex
@@ -41,12 +41,18 @@ this.<List<String>>emptyList().add(new List<String>())
 \end{verbatim}
 
 $
-\begin{array}{c}
-TODO
+\begin{array}[b]{c}
+\begin{array}[b]{c}
+\texttt{emptyList()} : \exptype{List}{\exptype{List}{\type{String}}}
 \\
 \hline
-\texttt{emptyList().get().get()} : \tv{a}
-\end{array} \quad \rulename{T-Call}
+\texttt{emptyList().get()} : \exptype{List}{\type{String}} 
+\end{array} \rulenameAfter{T-Call}
+\quad  \generics{\type{X}}\exptype{List}{\type{X}} \to \type{X} \in \mtypeEnvironment{}(\texttt{get})1
+\\
+\hline
+\texttt{emptyList().get().get()} : \type{String}
+\end{array} \rulenameAfter{T-Call}
 $
 
 %motivate constraints: 
diff --git a/prolog.tex b/prolog.tex
index 6755733..7ada4f5 100755
--- a/prolog.tex
+++ b/prolog.tex
@@ -19,6 +19,8 @@
 
 \newtheorem{recap}[note]{Recap}
 
+\newcommand{\rulenameAfter}[1]{\begin{array}[b]{l}\rulename{#1}\\[-1em] \ \end{array}}
+
 \newcommand{\tifj}{\texttt{TamedFJ}}
 
 \newcommand{\wcSep}{\vdash}