let lit p = of_disj (Disj.lit p)