The Kripke-Armstrong argument against temporal parts

Kripke-Armstrong argument aims to establish that the defender of existence of material objects? temporal parts cannot determine whether a lonely homogeneous disc made of continuous matter is rotating around its axis or not. The perdurantist cannot distinguish between these two possibilities by appealing to different instantaneous velocities of instantaneous temporal parts of the disc, since by doing so he would violate the Humean supervenience thesis. In this paper I will show, following Jeremy Butterfield, how Kripke-Armstrong challenge can be answered while retaining Humean supervenience: by appealing to different instantaneous velocities of non-instantaneous temporal parts of the Kripke-Armstrong lonely disc.