Then, for any two fixed points that Wagner's method does not find to be equivalent, he considers the possible lengths of potential solutions to (1).