It is not the case that 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.
?Set your confidence on the premises below to see your aggregate.