let p_bool = PRED.p_bool