green_leaf comments on There are no coherence theorems