let mk_disj pl = Disj(pl)