Replace nov_mnor by nog_ns, simplified induction principle.