Inclusion of Market. Developer and City agree that a Market is one of the potential occupants of a portion of the retail space in the Project. Developer has solicited, and intends to continue to solicit, proposals from grocers, and will consider any proposals it may receive from grocers and if any such proposals are acceptable to Developer (in its sole discretion) will attempt to negotiate a lease with such grocer. However, City acknowledges that (i) Developer cannot guaranty the inclusion or continuous operation of any particular tenants (including, but not limited to a grocer) in the Project, and (ii) the terms of any lease, including a lease with a grocer, will be determined by, and must be acceptable to, Developer in its sole discretion. Notwithstanding the foregoing, Developer acknowledges that the term of the Government Property Lease is subject to the provisions set forth in Section 3.7.1 herein. With respect to operation of the Market, Developer shall cause the Market operator to take such actions as are necessary and consistent with operating procedures used at other similar grocery stores to prevent theft of grocery carts.