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