Nick_Anyos comments on There are no coherence theorems