Inductive tests.I

Modification history