  Even if we accept the view that Aristotle is uncomfortable with assigning truth (or falsity) to (2a) and (2b), their disjunction in (3a) is clearly seen as true, and indeed as necessarily true. But the modal operator must be taken to apply to the disjunction as a whole as in (3b) and not to each disjunct as in (3c).