. "Either (j', j) is not 12-OD or there is a j'', such that W(j', j) = W(j', j'' - 1) + W(j'', j) and thus W(i, j'' - 1)+W(j'', j) ??? W(i, j' - 1)+W(j', j) because" . . .