What is the motivation for hypothetical inductive definitions?