rewrite some preds