let prop_mk_neg = Prop.mk_neg