fix: rule induction