Text this: Descubrimiento y justificación en matemática