Two methods are said to agree with each other on parameter specializers and qualifiers if the following conditions hold:
Both methods have the same number of required parameters. Suppose the parameter specializers of the two methods are P_{1,1}... P_{1,n} and P_{2,1}... P_{2,n}.
For each 1<= i<= n, P_{1,i} agrees with P_{2,i}.
The parameter specializer P_{1,i} agrees with P_{2,i} if
P_{1,i} and P_{2,i} are the same class or if
P_{1,i}=(eql object_1),
P_{2,i}=(eql object_2), and
(eql object_1 object_2).
Otherwise P_{1,i} and P_{2,i} do not agree.
The two lists of qualifiers are the same under equal.