faul_sname comments on What do we already have right?

[faul_sname]

Yes. And, conditional on induction being valid, everyone who doesn’t reject induction gets it right. And very few people reject induction.