let prop_mk_disj = Prop.mk_disj