Guiding principles for teaching mathematics via reasoning and proving.