let mk_disjunction_named = Logic_const.pors