This new perspective has evolved into Constraint-Based Reasoning. Eliminate what is NOT to Arrive at What Is Possible. Rather than considering a solution, consider all solutions by omitting the non-solutions.
~
Bricken, Iconic Arithmetic Volume III: The Structure of Imaginary And Infinite Forms, pdf , p. 383.