let
p_cond b pt pf =
Fol
.p_if (wrap b) pt pf