let
p_xor =
PRED
.p_xor