Separability conditions are mathematically necessary for tractable aggregation across large populati...