For a general overview of Avicenna's logic, there is now an English translation of the logic of Avicenna's Salvation (see Avicenna 2011a). But of all his many  works,[12]  it is Avicenna's Pointers and Reminders that had most  impact on subsequent generations of logicians. It became, as Ibn Taymiyya declared, the Koran of the philosophers (Michot 2000: 599). From it we may note a few broad but typical differences from the Prior Analytics in the syllogistic. First, the “absolute” (mutlaqa, often translated “assertoric”) propositions have truth-conditions stipulated such that they are temporally modalised (by an elided “at least once”, so that, for example, the contradictory of an absolute is not an absolute, absolute e-propositions do not convert, second-figure syllogisms with absolute premises are sterile; see also 2.3.1 below). Secondly, Avicenna begins to explore the logical properties of propositions of the form every J is B while J. Thirdly, Avicenna divides syllogistic into connective (iqtirânî) and repetitive (istithnâ‘î) forms, a division which replaces the old one into categorical and hypothetical (Avicenna al-Ishârât [1971] 309, 314, 374). 