1 -q 2! strict_induction 2 nostrict_induction