Core equivalence with differentiated commodities