tweaks to the new Predicate AND semantics of MathPipe.