Big John wrote:

My explanation is basically correct.

Indeed it is.

George Patterson
Brute force has an elegance all its own.