类型:负约