let pbot = Fol.Papp ("bottom", [])