P3 misconstrues the relevant counterfactual by assuming necessary truths are metaphysically independ...