Start reproving of nog_has_norms'.