D0TheMath comments on There are no coherence theorems