Candidate for complete invert_norm