let p_and = PRED.p_and