let p_not = PRED.p_not