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