Translated by P. M. S. Hacker