fixing the induction relation