If B-property configurations cannot be freely isolated into worlds without altering their relational character, the Paull-Sider construction fails to generate the required globally divergent world-pair.
?Rate how convincing each reason is below to see the overall strength.