Is It Always True? From Detecting Patterns to Forming Conjectures to Constructing Proofs