EJT comments on There are no coherence theorems

[EJT]

Ah I see! Yep, agree with that.