Paull and Sider (1992) demonstrated that under standard mereological assumptions, global supervenien...