L. Komjathy, “ Translated by Jonathan Pettit ”., JAOS, vol. 141, no. 1, pp. 234–238, Sep. 2021.