Fixed reflection induction tactic