What spurred him to this was that in the assertoric syllogistic Aristotle and others sometimes used contradictories of absolute propositions on the assumption that they are absolute; and that was why so many decided that absolutes did contradict absolutes. When Avicenna had shown this to be wrong, he wanted to give a way of construing those examples from Aristotle. (Tûsî Sharh al-Ishârât [1971] 312.5–7)