Cat. 7

https://grham.hypotheses.org/12473/cat-7