let p_xor = PRED.p_xor