The first translations into Arabic were made in the 9th century, with two separate efforts, one sponsored by the caliph Al-Ma'mun, who received a copy as a condition of peace with the Byzantine emperor. Sahl ibn Bishr is thought to be the first Arabic translator. By this time, the "Syntaxis" was lost in Western Europe, or only dimly remembered. Henry Aristippus made the first Latin translation directly from a Greek copy, but it was not as influential as a later translation into Latin made by Gerard of Cremona from the Arabic (finished in 1175). Gerard translated the Arabic text while working at the Toledo School of Translators, although he was unable to translate many technical terms such as the Arabic "Abrachir" for Hipparchus. In the 12th century a Spanish version was produced, which was later translated under the patronage of Alfonso X.