Bacelar Valente, M. On the Correctness of Problem Solving in Ancient Mathematical Procedure Texts. RHV 2021, 169-189.