macro brokenness in induction.tex fixed, needs further examination