cole_haus comments on Epistemic Trade: A quick proof sketch with one example