let
p_true =
Fol
.
Ptrue