Algon comments on OK, what’s the difference between coherence and representation theorems?