Start proving nf_new in nog_ns'.