whoops, we DO need the predicates about Pred, nuking the okQual check