translated by Charles Johnson Nicholas Oresme