Conditioned_disjunction