According to what we have verified ourselves, the syllogism forms two divisions, connective and repetitive. The connective is that in which one of the two sides of the contradiction in which we find the conclusion does not appear [in the premises] explicitly, but only potentially… The repetitive is that in which [the conclusion or its contradictory] does explicitly appear. (Avicenna al-Ishârât [1971] 374)