What can a hypothetical inductive definition be ragarded as an ordinary inductive definition of?