1 -q 2 nostrict_induction 2 strict_induction