Reports survey results on proof conceptions. Presents an overview of responses at the end of year 8 (age 13 years) and year 9 (age 14 years). Distinguishes three strategies--empirical, focused-empirical, and focused-deductive--that represent shifts in attention from an inductive to a deductive approach. Indicates some progress from year 8 to year 9 with regard to use of the focused strategies. (Author/KHR)