let ptrue = Fol.Ptrue