--- a/slides/slides05.tex	Mon Dec 01 06:50:25 2014 +0000
+++ b/slides/slides05.tex	Tue Dec 02 02:29:37 2014 +0000
@@ -424,12 +424,12 @@
 \frametitle{Car Transponder (HiTag2)}
 
 \begin{enumerate}
-\item \bl{$C$} generates a random number \bl{$r$}
-\item \bl{$C$} calculates \bl{$(F,G) = \{r\}_K$}
-\item \bl{$C \to T$}: \bl{$r, F$}
-\item \bl{$T$} calculates \bl{$(F',G') = \{r\}_K$}
+\item \bl{$C$} generates a random number \bl{$N$}
+\item \bl{$C$} calculates \bl{$(F,G) = \{N\}_K$}
+\item \bl{$C \to T$}: \bl{$N, F$}
+\item \bl{$T$} calculates \bl{$(F',G') = \{N\}_K$}
 \item \bl{$T$} checks that \bl{$F = F'$}
-\item \bl{$T \to C$}: \bl{$r, G'$}
+\item \bl{$T \to C$}: \bl{$N, G'$}
 \item \bl{$C$} checks that \bl{$G = G'$}
 \end{enumerate}\pause