Change the induction principle of V
fix an ambiguous sentence
Merge pull request #712 from jledent/master

Change the induction principle of V