Among the facts which make “p or q” true, there are some which make “p & q” true; but the class which makes “p or q” true is different from the class which makes “p & q” true; & ˇonly this is what matters. For we introduce this class, as it were, when we introduce ab-functions.