What is the relationship between a generic inductive definition and an ordinary inductive definition?