Michael St Jules πŸ”Έ comments on There are no coherence theorems