Match Ambiguity Solver

     ...