 This argument is meant to prove more than needed for the refutation of categoricalism. Given that categoricalism entails the impossibility of bare dispositions, establishing the mere possibility of bare dispositions will suffice for refuting categoricalism. But the argument at hand, if successful, would demonstrate that fundamental properties are bare dispositions, entailing that bare dispositions do actually exist.