cfoster0 comments on There are no coherence theorems