structural induction and recursive definitions cs 202 591289