Stephen Fowler answers OK, what’s the difference between coherence and representation theorems?