Simplify iterate_norms and create a nice induction principle for it. :)