Added induction principle for equivalence and equality