translated by David Alcorn