let
ptrue =
Fol
.
Ptrue