' preferences are strict and can be represented by additively separable utility functions. The core may be empty. The strict core … no Pareto efficient, individually rational, and strategy-proof social choice rule. We also show that the core may be …