...yn, the first comprehensive Arabic dictionary, and laid the foundations of Arabic grammatical theory.