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