
diff -r e4fda36422dd -r e78af5feb655 slides/slides06.tex
--- a/slides/slides06.tex	Sun Nov 17 19:22:57 2013 +0000
+++ b/slides/slides06.tex	Tue Nov 19 03:05:48 2013 +0000
@@ -889,6 +889,9 @@
 \begin{frame}[c]
 
 \begin{itemize}
+\item \bl{$P \,\text{says}\, F$} means \bl{$P$} can send a ``signal'' \bl{$F$} through a wire, or
+can make a statement \bl{$F$}\bigskip
+
 \item \bl{$P$} is entitled to do \bl{$F$}\smallskip\\ 
 \bl{$P \,\text{controls}\, F \,\dn\, (P\,\text{says}\, F) \Rightarrow F$}\medskip
 




