Envoyer par SMS: On the correctness of problem solving in ancient mathematical procedure texts