Improve itno2_invariant_sd_in and start work on new induction principle.