 Finally, interesting insights on certain areas of logic may also be gleaned from additional heterogeneous sources, such as Avicenna’s correspondence (Street 2010a) and texts not directly dealing with logic, most notably the Ilāhiyyāt (especially books I and V), which is his major work in metaphysics.