Prove nog_has_norms. :)