let p_exists = PRED.p_exists