--- a/hw06.tex	Tue Nov 13 21:07:21 2012 +0000
+++ b/hw06.tex	Mon Nov 19 01:11:52 2012 +0000
@@ -16,9 +16,7 @@
 where $P$ is a principal and $F$ a formula. Give two inference rules
 of access-control logic involving $\textit{says}$.
 
-\item
-The informal meaning of the formula $P\;\textit{controls}\;F$ is `$P$ is entitled
-to do $F$'. Give a definition for this formula in terms of $\textit{says}$. 
+\item (Removed) Was already used in HW 5
 
 \item 
 Assume an access control logic with security levels, say top secret ({\it TS}),