 On the interpretation we are describing, Aristotle's view is that to say that (2c) results of necessity from (2a) and (2b) is to say that (2) is a particular case of the true universal generalization “For all suitable \(P\), \(Q\) and \(R\), if no \(Q\) is \(R\) and some \(P\)s are \(Q\)s, then some \(P\)s are not \(R\)”. For this interpretation see e.g. Alexander of Aphrodisias, 208.16 (quoted by Łukasiewicz 1957, §41), Bolzano (1837, §155) and Łukasiewicz (1957, §5).