It is obvious at once that ancestor must be capable of definition in terms of 'parent' but until Frege developed his generalized theory of induction, no one could have defined 'ancestor' precisely in terms of 'parent'(imp26)