More simplification for the conjunction and disjunction matchers