Added contract requires