Make new version of norm functions/proofs to try new idea.