let prop_mk_conj = Prop.mk_conj