-In SG0 the graph is only the null graph, described by
-$G=(\{q_0\},\{q_0\},\{\}\{\})$ and does not contain any entries.
-
-Adding the first entry \texttt{a,bc} is not a
-hard task because there is no common prefix nor suffix so the entry becomes a
-strain of nodes starting from $q_0$ and is visualized in subgraph SG1.
-
-For the second entry \texttt{a.bc} some smart optimization has to be applied.
-The common prefix is \texttt{a} and the common suffix is \texttt{bc}. Therefore
-the first node in which the common prefix starts needs to be copied and split
-off to make room for an alternative route. This is exactly what happens in SG2.
-Node $q_2$ is copied and gets a connection to node $q_3$. From the last node of
-the common prefix a route is built towards the first node, that is the copied
-node, of the common suffix resulting in an extra path $q_1\rightarrow
-q_5\rightarrow q_3$. This results in subgraph SG2.
-
-Adding the thing node \texttt{a.bd} in the same naive way as the second node
-results in subgraph SG3 and introduces a bad side effect. Namely that a new
-word, that was not specifically added was introduced, is added to the DAWG.
-This is because within the common prefix there is a node that has some other
-arrow leading to it. When a new path is added the algorithm checks the common
-prefix and suffix for confluence nodes. Confluence nodes are nodes that have
-multiple arrows leading in and because of the multiple arrows they can lead to
-unwanted additional words. The first confluence node found must be copied and
-detached and the specific suffix from the entry must be copied with it to
-separate the path from the existing paths. Applying this technique in the
-example leads to subgraph SG4. With common prefix \texttt{a.b} and an empty
-common suffix node $q_3$ is found as a confluence node in the common prefix and
-therefore node $q_3$ is copied to the new node $q_6$ taking the paths leading
-to the final state with it. In this way no new words are added to the DAWG and
-the DAWG is still optimal.
-
+\subsection{Example}
+We visualize this with an example shown in the {Subgraphs in
+Figure}~\ref{dawg1} that builds a DAWG with the following entries:
+\texttt{abcd}, \texttt{aecd} and \texttt{aecf}. In SG0 we begin with the null
+graph.
+
+Adding the first entry \texttt{abcd} is trivial and just creates a single path
+and does not require any hard work. The result of adding the first word is
+visible in subgraph SG1.
+
+For the second entry \texttt{aecd} we will have to follow the steps described
+earlier. The common prefix is \texttt{a} and the common suffix is \texttt{bc}.
+Therefore the first node in which the common prefix starts needs to be copied
+and split off to make room for an alternative route. This is exactly what
+happens in SG2. Node $q_2$ is copied and gets a connection to node $q_3$. From
+the last node of the common prefix a route is built towards the first node,
+that is the copied node, of the common suffix resulting in an extra path
+$q_1\rightarrow q_5\rightarrow q_3$. Since there are no confluence nodes we can
+leave the prefix as it is. This results in subgraph SG2.
+
+The last entry to add is the word \texttt{aecf}. When this is done without
+confluence node checking we create extra paths in the graph that are unwanted.
+The common prefix is \texttt{aec} and the common suffix is \texttt{f}.
+\texttt{f} can not be merged into existing edges and thus a new edge will be
+created from the end of the common suffix to the end. This results in subgraph
+SG3. Note that we did not take care of confluence nodes in the common prefix
+and because of that the word \texttt{abcf} is also accepted even when it was
+not added to the graph. This is unwanted behaviour. Going back to the common
+prefix \texttt{aec}. When we check for confluence nodes we see that the last
+node of the common prefix is such a node and that we need to clone the path
+and separate the route to the final node. $q_3$ will be cloned into $q_6$ with
+the route of the common prefix. Tracking the route back we do not encounter any
+other confluence states and therefore we can merge in the suffix which results
+in the final DAWG visible in subgraph SG4. No new words are added.
+
+\texttt{abcd}, \texttt{aecd} and \texttt{aecf}. In SG0 we begin with the null