 There is further evidence of al-Fārābī experimenting with other sentence forms in modal logic. Both Avicenna (Street 2001) and Averroes (Ibn Rushd, Maqālāt 102.13f) cite al-Fārābī as considering syllogistic premises containing “insofar as”, for example, “Every A can be a B insofar as it is a B”. 