for inductive purposes