The logical necessity of P1 therefore collapses into a contingent empirical generalization insuffici...