let
p_conj l =
Fol
.p_conj l