let p_true = PRED.Ptrue