Describir: Understanding in mathematics: The case of mathematical proofs.