Incorporating reasoning and communication into Mathematics