Así lo relata el códice: