Structural induction

From CS2800 wiki