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