Lucius Bushnaq comments on There are no coherence theorems