let p_or  = PRED.p_or