Jeremy Gillen comments on A Simple Toy Coherence Theorem