Lives of the Monks, pp. 162–167.