assist with statement induction