Michael_PJ comments on There are no coherence theorems