1  -q
2 nostrict_induction
2 strict_induction