inductive discovery