diff --git a/submission_thesis/CH4_FMMD/copy.tex b/submission_thesis/CH4_FMMD/copy.tex
index 73a3c94..ec8fb57 100644
--- a/submission_thesis/CH4_FMMD/copy.tex
+++ b/submission_thesis/CH4_FMMD/copy.tex
@@ -2145,19 +2145,35 @@ The abstraction level concept is formally defined in section~\ref{sec:abstractio
 
 \section{Conclusion}
 
-Tie into wish list at end of chapter 3. Solves state explosion, completeness, traceability, models for related such as FMECA
+%Tie into wish list at end of chapter 3. Solves state explosion, completeness, traceability, models for related such as FMECA
 
+\paragraph{Failure model Completeness.}
+It is undesirable to miss any component {\fm} in the analysis process; were this to
+happen our failure model would be incomplete.
+%
+Given the starting conditions of base component {\fms} from the literature,
+we can ensure that all these {\fms} are traceable to subsequent {\dc} {\fms}
+in the model.
+%
+With the above condition true, we term this a `complete' FMMD failure model.
 
-\paragraph{State explosion problem of FMEA solved by FMMD}.
+\paragraph{State explosion problem of FMEA solved by FMMD.}
+%
+Because FMMD considers failure modes within functional groups
+the traditional state explosion problem in FMEA, where each failure
+mode could be considered in the context of all other components in the system
+disappears. 
+%
+This is dealt with formally in section~\ref{sec:cc}.
 
 \paragraph{Uses of the FMMD failure mode model.}
 %
-Having a  failure mode graph/model where base component failure modes are traceable to top event events,
+Having a  failure mode graph/model, where base component failure modes are traceable to top event events,
 provides  a forward search derived failure mode model. 
 %
-A forward search means that we can ensure that
-all known component failure
-modes have been considered in the analysis.
+%A forward search means that we can apply checks to ensure that
+%all known component failure
+%modes have been considered in the analysis (i.e. completeness as described above).
 %
 We can use this model to derive information
 to assist in creating related models such as FTA~\cite{nucfta,nasafta},