A true disjunctive proposition need not have every alternative true.