Hudson and Sider's work on extended simples and multilocation demonstrates that Functionality is a substantive metaphysical commitment, not a logical truth, and cannot serve as a premise in a general proof.
?Rate how convincing each reason is below to see the overall strength.