
diff -r d1d07f05325a -r af1aeec504cb hw06.tex
--- a/hw06.tex	Sun Sep 22 15:22:11 2013 +0100
+++ b/hw06.tex	Sun Sep 22 15:23:08 2013 +0100
@@ -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 




