Cat. 12

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