The transition in all three subjects therefore requires considerable cognitive reconstruction involving a struggle to understand. However, there is an even greater leap to be made in advanced mathematical thinking to formal definitions (which changes the status of the objects being studied) and formal deduction (which changes the nature of proof). To see just how much change is required, let us briefly look at how the nature of proof is dependent on the representations available and on the mathematical context.