As, however, the instances which are sufficient to prove one fresh instance must be sufficient to prove a general proposition, it is most convenient to at once infer that general proposition, which then becomes a formula according to which (but not from which) any number of particular inferences may be made.