Text this: Conception of understanding in mathematical proof