No More Learning

His new
induction is to advance by gradual stages of           generality,
and it is to be based on an exhaustive collection of instances.