diff --git a/submission_thesis/appendixes/algorithmic.tex b/submission_thesis/appendixes/algorithmic.tex
index 9110d89..d216533 100644
--- a/submission_thesis/appendixes/algorithmic.tex
+++ b/submission_thesis/appendixes/algorithmic.tex
@@ -388,7 +388,7 @@ all failure modes in components in the {\fg} are included in at least one test~c
 
    %\State { Let $ptc$ be a provisional test case } \Comment{ Determine Test cases with simultaneous failure modes }
      
-   \If{DoubleFaultChecking} \Comment{ Assign one test case per valid double fault mode } %\State { Let $ptc$ be a provisional test case }
+   \If{DoubleFaultChecking = TRUE} \Comment{ Assign one test case per valid double fault mode } %\State { Let $ptc$ be a provisional test case }
    \ForAll { $ f_1,f_2 \in F $ }
 	\State { $ ptc := \{ f_1,f_2 \} $ } \Comment{Make $ptc$ a provisional test case}
 	%\State { FINDING ERRORS IN LATEX SOURCE IS challenging}
@@ -437,17 +437,17 @@ all failure modes in components in the {\fg} are included in at least one test~c
   \State { let $f$ represent a component failure mode }
   %\ENSURE { That all failure modes are represented in at least one test case }
   \Ensure { $ \forall f \;such\;that\; (f \in F))    \wedge  (f \in \bigcup TC) $ }
-  \Comment { This corresponds to checking that at least each single failure mode is
+  \Comment { Check that at each single failure mode is
             included as a test case.}
   %\EndIf
 
-  \If{Double fault checking} 
+  %\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 \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
+  \Ensure { $ \forall f1,f2 \;where\; (f1 \wedge f2) \not\in (\forall c)  \;such\;that\; (f1,f2 \in F))    \wedge  ( \{f1,f2\} \in \bigcup TC)  \wedge ({DoubleFaultChecking} = TRUE)$ }
+  \Comment { If ${DoubleFaultChecking}$ is required, check that all possible double failure modes (see section~\ref{sec:unitarystate}) are included  
+             as a test cases.}
+  %\EndIf
    \State \textbf{return} $TC$
 % some european standards
 %                imply checking all double fault combinations\cite{en298} }