Douglas_Knight comments on There are no coherence theorems