The Long-Term Cognitive Development of Reasoning and Proof