Advanced reasoning and communication in Maths