Prove nov_nog, work on nov_nog'.