It is not the case that If physicalism is true and S summarizes the total nature of the world, then S# is already implicitly included in S, making the proposition S# merely an expansion of S rather than an independent claim.
?Set your confidence on the premises below to see your aggregate.