a and b are equal.