Thanks for looking more into the coverage. This is a nice piece of work (on Knuth's and your part). Last comment: could you remove the comments and just put this whole header as a triple quoted string like in core/assumptions.py?