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