A. Induction

B. Deduction

C. Specification

D. None