--- a/inferences.tex	Thu Nov 01 20:15:02 2012 +0000
+++ b/inferences.tex	Tue Nov 13 00:22:28 2012 +0000
@@ -27,7 +27,7 @@
 
 \mbox{\infer{\Gamma \vdash P \;\textit{says}\;F_2}
             {\Gamma \vdash P \;\textit{says}\; (F_1 \Rightarrow F_2) & 
-             \Gamma \vdash \;\textit{says}\;F_1}}\medskip
+             \Gamma \vdash P \;\textit{says}\;F_1}}\medskip
 
 \mbox{\infer{\Gamma \vdash F[x := t]}
             {\Gamma \vdash \forall x. F}}\medskip