diff --git a/beamer/beamer.tex b/beamer/beamer.tex
index 701ec3a..d8745d5 100644
--- a/beamer/beamer.tex
+++ b/beamer/beamer.tex
@@ -142,6 +142,28 @@
 		\end{enumerate}
 \end{frame}
 
+\begin{frame}
+	\begin{itemize}
+		\item
+			\begin{itemize}
+				\item \texttt{pp\_varlist (Base | Arg | Dec)}
+				\item \texttt{pp\_retvarlist}
+				\item \texttt{pp\_prevarlist}
+				\item \texttt{pp\_asnprevarlist}
+			\end{itemize}
+		\pause
+		\item \texttt{when} implementation error: division by zero for instance
+		\pause
+		\item \texttt{->}
+		\pause
+		\item \texttt{pre}
+		\pause
+		\item \texttt{reset}
+		\pause
+		\item Functions returning tuples thanks to Arnaud's linearization only have to deal with \texttt{(a0, a1, ..., an) = return\_tuple\_a0\_a1\_dots\_an(0)}
+	\end{itemize}
+\end{frame}
+
 \section{Tests}
 \begin{frame}{Tests}
     \begin{block}{testing methods}