Nearly proved new nog_has_norms'.