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