diff --git a/symptom_ex_process/process.tex b/symptom_ex_process/process.tex
index e34694e..77388ad 100644
--- a/symptom_ex_process/process.tex
+++ b/symptom_ex_process/process.tex
@@ -109,7 +109,6 @@ for each test case.
 
 \pagebreak[1]
 \section{A theoretical `Derived Component' example}
-
 Consider a functional group $FG$ with components $C_1$, $C_2$ and $C_3$.
 
 $$ FG = \{ C_1 , C_2 , C_3 \} $$
@@ -178,6 +177,7 @@ This can be seen as all the failure modes that can affect the failure mode group
 
 \subsection{Analysis of the functional group failure modes}
 
+\label{theoreticalsx}
 For this example we shall consider single failure modes.
 %For each of the failure modes from $fm(FG)$ we shall
 %create a test case ($g_i$). Next each test case is examined/analysed
@@ -286,9 +286,13 @@ Where $\mathcal{FG}$ is the set of all sets of functional groups, and $\mathcal{
 is the set of all derived components, we can define the symptom abstraction process thus:
 $$
 %\bowtie : SubSystemComponentFaultModes \rightarrow DerivedComponent 
-\bowtie : \mathcal{FG} \rightarrow \mathcal{DC} 
+\bowtie : \mathcal{FG} \rightarrow \mathcal{DC} .
 $$
 
+Given by
+$ \bowtie ( FG ) = DC $
+as per the example in preceeding section \ref{theoreticalsx}.
+
 \paragraph{Extending $\bowtie$ to {\dcs}}
 
 It is useful to further define the $\bowtie$ function, to