diff -r 86d1e2e6c211 -r 059527f0615a hws/hw07.tex
--- a/hws/hw07.tex	Tue Nov 26 00:01:50 2013 +0000
+++ b/hws/hw07.tex	Tue Nov 26 06:33:31 2013 +0000
@@ -22,6 +22,9 @@
 
 for constructing a proof of the judgement. What do the premises look like? 
 
+\item What are the benefits of using Logic to describe protocols and access control problems?
+
+
 %\item The informal meaning of the formula \mbox{$P\;\mapsto\;Q$} is `$P$ speaks for
 %$Q$'. Give a definition for this formula in terms of $\textit{says}$.