 Nicod’s Criterion  A universal generalization is confirmed by its positive instances (as long as no counter-instances are discovered): \(\forall x(Fx \supset Gx)\) is confirmed by \(Fa \wedge Ga\), by \(Fb \wedge Gb\), etc.