Definition for inductive reasoning