keith_wynroe comments on There are no coherence theorems