let prop_mk_neglit = Prop.mk_neglit