A theory that entails the existence of derivative entities—like mereological sums in Lewis's plural ...