Make new induction principle, start work on nov_mnor_new.