Change the induction principle of V