deletions | additions       diff --git a/subsection_Constraint_Graph_Assuming_that__.tex b/subsection_Constraint_Graph_Assuming_that__.tex  index 69f1336..8e7e5c4 100644  --- a/subsection_Constraint_Graph_Assuming_that__.tex  +++ b/subsection_Constraint_Graph_Assuming_that__.tex 
...
\subsection{Constraint Graph}  Assuming that we have no other arcs to process, the following is the constraint graph constructed:  [A]--- \(A \([A  = B + 1\) 1]\)  ---[B]--- \(B \([B  = 2C\) 2C]\)  ---[C]