Abstract The work done so far on the understanding of mathematical (proof) texts focuses mostly logical and heuristical aspects; a proof text is considered to be understood when reader able justify inferential steps occurring in it, defend it against objections, give an account “main ideas”, transfer idea other contexts etc. (see, e.g., Avigad philosophy practice, Oxford University Press, Oxfor...