inductive
