let
p_xor a b =
Fol
.p_xor a b