 What about premises (3) and (4)? The standard justification for (3) is that P2 is false because it’s open to counterexamples. The standard justification for (4) is that P3 collapses into P2. Both are controversial. We take each in turn.