deletions | additions       diff --git a/subsection_A_B_Since_A__.tex b/subsection_A_B_Since_A__.tex  index bb9ee4e..4d174c9 100644  --- a/subsection_A_B_Since_A__.tex  +++ b/subsection_A_B_Since_A__.tex 
...
\(D_C = \{0, 1, 2, 3, 4\}\)  \subsection{\( . (A, B) -- revise(true)\)}  Since Domain \(D_B\) has been changed, based on the constraint graph, Domain \(D_A\) will be reduced to \{1, 3\} to be make arc \((A, B)\) arc-consistent again.  State:  \(D_A = \{1, 3\}\)  \(D_B = \{0, 2\}\)  \(D_C = \{0, 1\}\)  \subsection{\( . (B, A) -- revise(false)\)}  Since Domain \(D_A\) has been changed, based on the constraint graph, Domain \(D_B\) will be checked again for consistency. However, all numbers in Domain \(D_B\) satisfy the constraint. No revision is made.  \subsection{\( . (C, B)\)}