Inductive Reasoning and Conjecture