Sider's argument in Four-Dimensionalism shows that modal contexts requiring co-location of distinct ...