^Translated from the Spanish translation of ibn Khaldun, "Los toledanos pidieron la ayuda del Rey de Galicia y del Rey de los Vascones, que acudieron a liberarlos con la ayuda de la gente de la ciudad. El ejército de Toledo formado por la unión del pueblo toledano y los reinos cristianos, viendo al del emir (muy reducido), salieron a los márgenes del río Guadalacete y combatieron con fervor derrotando al emir. Éste se retrajo hasta tierras más al sur, siendo seguido por el ejército de Toledo que cayó en una emboscada, ya que el grueso del ejército árabe estaba esperando ese movimiento. Todo esto produjo una matanza de más de ocho mil almas, dando la victoria al imperio musulmán y aplastando así la rebelión de Toledo."