StructuralInduction.pdf