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