let
p_disj l =
Fol
.p_disj l