Paull and Sider (1992) demonstrated that global supervenience formulations fail to correctly capture...