Thus the entailment from disjunct to disjunction establishes logical containment but not genuine pro...