 (a form that Aristotle accepted as perfect) we need that “Every B” in the second premise means “Every possible B”; otherwise the Cs might be possible Bs but not actual Bs, so that they would escape the quantifier of the second premise, and hence violate the dictum de omni. In this sense al-Fārābī introduced ampliation to the possible in possibility sentences.