structural induction and recursive definitions 3681888