“a translation by John E. Wallis.”