reformulated as induction