Cat. 4

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