steven0461 comments on Harsanyi’s Social Aggregation Theorem and what it means for CEV