Advancing reasoning and communication in Mathematics