Epistemic value requires that a check could in principle reveal error; inductive self-validation can...