Disjunction under Conditional