[Boyer & Moore, 1988, p. 42]
Why is the tuple <i,j> encoded as 
\omega^{(i+1)} + j instead of the usual
i*\omega + j
?