al-Khwārizmī has spoken.