 Further discussion of syllogistic arguments include the (i) compound syllogism (qiyās murakkab), which involves multiple syllogisms such that the conclusion of a syllogism serves as a premise for the next syllogism, whether by an explicit concatenation (mawṣūl) or an implicit one (mufaṣṣal), as well as other forms that came to be discussed, in later Arabic logic, under the rubric of concomitants of the syllogism (lawāḥiq al-qiyās). These variously connect to chapters of the Prior Analytics and include: (ii) the proof through the impossible or reductio ad absurdum (qiyās al-ḫalf or kalām ilā l-muḥāl), which in Avicenna is interestingly analyzed in terms of a combination of a connective and a repetitive syllogism, (iii) the conversion of the syllogism (ʿaks al-qiyās), (iv) the syllogism from opposites (qiyāsāt muʾallafa min muqaddamāt mutāqabila), and (v) circular proof (bayān ad-dawr).