--- a/slides06.tex	Tue Oct 30 14:48:13 2012 +0000
+++ b/slides06.tex	Tue Oct 30 21:13:36 2012 +0000
@@ -256,7 +256,7 @@
   \end{frame}}
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \mode<presentation>{
 \begin{frame}[c]
 \frametitle{Inference Rules}
@@ -264,7 +264,7 @@
 \begin{center}
 \bl{\infer{\Gamma, F\vdash F}{}}\bigskip\\
 
-\bl{\infer{\Gamma \vdash F_2}{\Gamma \vdash F_1 \Rightarrow F_2 \quad \Gamma \vdash F_2}}
+\bl{\infer{\Gamma \vdash F_2}{\Gamma \vdash F_1 \Rightarrow F_2 \quad \Gamma \vdash F_1}}
 \qquad
 \bl{\infer{\Gamma \vdash F_1 \Rightarrow F_2}{F_1, \Gamma \vdash F_2}}\bigskip\\
 
@@ -525,7 +525,7 @@
   \item Decryption of Alice's message\smallskip
   \begin{center}
   \bl{\mbox{\infer{\Gamma \vdash \text{Alice}\;\text{says}\;m}
-              {\Gamma \vdash \text{Alice}\;\text{says}\;\{m\}_K & \Gamma \vdash K}}}
+              {\Gamma \vdash \text{Alice}\;\text{says}\;\{m\}_K & \Gamma \vdash \text{Alice}\,\text{says}\,K}}}
   \end{center}
   \end{itemize}
 
@@ -541,7 +541,7 @@
   \item Encryption of a message\smallskip
   \begin{center}
   \bl{\mbox{\infer{\Gamma \vdash \text{Alice}\;\text{says}\;\{m\}_K}
-              {\Gamma \vdash \text{Alice}\;\text{says}\;m & \Gamma \vdash K}}}
+              {\Gamma \vdash \text{Alice}\;\text{says}\;m & \Gamma \vdash \text{Alice}\,\text{says}\,K}}}
   \end{center}
   \end{itemize}
 
@@ -616,7 +616,7 @@
   $A$ sends $S$ : $\textit{Connect}(A,B)$\\  
   \bl{$S \,\text{says}\, (\textit{Connect}(A,B) \Rightarrow$}\\ 
   \hspace{2.5cm}\bl{$\{K_{AB}\}_{K_{AS}} \wedge 
-  \{\{K_{AB}\}_{K_{BS}}\}\_{K_{AS}})$}\\
+  \{\{K_{AB}\}_{K_{BS}}\}_{K_{AS}})$}\\
  $S$ sends $A$ : $\{K_{AB}\}_{K_{AS}}$ \bl{$\wedge$} $\{\{K_{AB}\}_{K_{BS}}\}_{K_{AS}}$\\
   $A$ sends $B$ : $\{K_{AB}\}_{K_{BS}}$\\
   $A$ sends $B$ : $\{m\}_{K_{AB}}$