deletions | additions       diff --git a/textit_On_arc_consistency_begin__.tex b/textit_On_arc_consistency_begin__.tex  index 4bd76c9..d466728 100644  --- a/textit_On_arc_consistency_begin__.tex  +++ b/textit_On_arc_consistency_begin__.tex 
...
\textit{On arc-consistency:}  \begin{quote} \(X_{i}\) is arc-consistent with respect to another variable \(X_{j}\) if for every value in the current domain \(D_{i}\) there is some value in the domain \(D_{j}\) that satisfies the binary constraint on the arc (\(X_{i}, X_{j}\)) \end{quote}