let create ?group p = create (Property.may_cons P.group group p)