modified to Conjunction one of two Disjunctions