let p_disj l = Fol.p_disj l