8 A Further Note on Inductive Generalization G. D. Plotkin