diff --git a/component_failure_modes_definition/component_failure_modes_definition.tex b/component_failure_modes_definition/component_failure_modes_definition.tex
index af6bf9f..00e3be8 100644
--- a/component_failure_modes_definition/component_failure_modes_definition.tex
+++ b/component_failure_modes_definition/component_failure_modes_definition.tex
@@ -447,8 +447,9 @@ Expanding the combination in equation \ref{eqn:correctedccps}
 \end{equation}
 
 The equation \ref{eqn:correctedccps2} is now useful for an automated tool that
-would verify that a `N' simultaneous failures model had been completly covered
-by knowing how many test case should be covered.
+would verify that a `N' simultaneous failures model had been completly covered.
+By knowing how many test case should be covered, and checking the cardinality
+associated with the test cases complete coverage could be confirmed.
 
 %$$ \#\mathcal{P}_{cc} S = \sum^{k}_{1..cc}  \big[ \frac{\#S!}{k!(\#S-k)!}  - \sum_{j} (\#C_{j} \choose cc \big]  $$