re-enable old-school && [p1; ;pn] preds