deletions | additions       diff --git a/On_constraint_graph_begin_quote__.tex b/On_constraint_graph_begin_quote__.tex  index 3d8d9f0..953ba44 100644  --- a/On_constraint_graph_begin_quote__.tex  +++ b/On_constraint_graph_begin_quote__.tex 
...
\node B  \node C  \subsection{. \((A, B)\)}  Since \(A = B + 1\) is the constraint, Domain \(D_A\) will be reduced to \{1, 2, 3, 4\} to be make arc \((A, B)\) arc-consistent.