Guardando, pues, esta regla, decimos que la fiesta que los católicos llamamos Corpus Christi se celebraba solemnísimamente en la ciudad de Cozco después que se acabaron las guerras que el demonio inventó en aquel imperio por estorbar la predicación de nuestro Santo Evangelio, que la postrera fue la de Francisco Hernández Girón, y plega a Dios que lo sea.