Michael St Jules 🔸 comments on There are no coherence theorems