Prove nog_ns. :)