let p_cond = PRED.p_cond