diff --git a/submission_thesis/appendixes/algorithmic.tex b/submission_thesis/appendixes/algorithmic.tex
index 8190827..9110d89 100644
--- a/submission_thesis/appendixes/algorithmic.tex
+++ b/submission_thesis/appendixes/algorithmic.tex
@@ -444,7 +444,7 @@ all failure modes in components in the {\fg} are included in at least one test~c
   \If{Double fault checking} 
   \State { let $f1,f2$ represent component failure modes, and $c$ any component in the functional group }
   %\ENSURE { That all failure modes are represented in at least one test case }
-  \Ensure { $ \forall f1,f2 \;where\; (f1,f2) \not\in c\;such\;that\; (f1,f2 \in F))    \wedge  ( \{f1,f2\} \in \bigcup TC) $ }
+  \Ensure { $ \forall f1,f2 \;where\; (f1 \wedge f2) \not\in c\;such\;that\; (f1,f2 \in F))    \wedge  ( \{f1,f2\} \in \bigcup TC) $ }
   \Comment { This corresponds to checking that each possible double failure mode (see section~\ref{sec:unitarystate}) is included  
              as a test case.}
   \EndIf