structural induction and recursive definitions 70363