johnswentworth comments on A Simple Toy Coherence Theorem

[johnswentworth]

That all looks correct.