Denys the Carthusian, commentator on Boethius's