Enumerating Expressions: For generating a next state S from S, we choose a pair of terms t i and t j in S and one of the four basic operations, and form a new term by combining terms t i and t j with the operation.
this theory naturally leads to a computational solution that we have shown to uniquely determine the solution -determine the arithmetic operation between any two quantities identified in the text.