It is the lexicographical ordered metric, and basically allows `isOdd` to call `isEven` with the same argument
as `(k, 0) < (k, 1)`