Comment by ogdan

The specification is a lot smaller than the code, and so it's easier to read and manually verify that it's correct.