  Two of these modal accounts are disjunctions, the other two are conjunctions. Provided that Diodorus accepted the principle of bivalence, these definitions, too, satisfy the modal requirements (i) to (iv) above, as can be checked easily.