translated by John C. Davis