1  -q
2! strict_induction
2 nostrict_induction