let p_conj l = Fol.p_conj l