
diff -r be35ff24cccc -r e6b34594d1e5 hw06.tex
--- a/hw06.tex	Sun Dec 09 13:00:33 2012 +0000
+++ b/hw06.tex	Sat Dec 22 00:20:13 2012 +0000
@@ -67,9 +67,9 @@
 \begin{tabular}{l}
 \\
 $slev(\textit{S}) < slev(\textit{TS})$\smallskip\\
-$slev(\textit{Agent}) = \textit{TS}$\smallskip\\
-$slev(\textit{File}_1) = \textit{S}$\smallskip\\
-$slev(\textit{File}_2) = \textit{TS}$\smallskip\\
+$slev(\textit{Agent}) = slev(\textit{TS})$\smallskip\\
+$slev(\textit{File}_1) = slev(\textit{S})$\smallskip\\
+$slev(\textit{File}_2) = slev(\textit{TS})$\smallskip\\
 $\forall O.\;slev(O) < slev(\textit{Agent}) \Rightarrow 
 (\textit{Agent}\;\textit{controls}\;\textit{Permitted}(O, \textit{read}))$\smallskip\\
 $\forall O.\;slev(O) = slev(\textit{Agent}) \Rightarrow 




