--- a/hws/hw06.tex	Tue Nov 12 21:15:23 2013 +0000
+++ b/hws/hw06.tex	Sun Nov 17 19:22:57 2013 +0000
@@ -16,8 +16,6 @@
 where $P$ is a principal and $F$ a formula. Give two inference rules
 of access-control logic involving $\textit{says}$.
 
-\item (Removed) Was already used in HW 5
-
 \item 
 Assume an access control logic with security levels, say top secret ({\it TS}),
 secret ({\it S}) and public ({\it P}), with