Coherence Arguments

Applied to A Simple Toy Coherence Theorem by Ruby ago