Incorporating reasoning and communications into Mathematics