Hortalis leases a warehouse. The contract provides for a non-cancellable period of 4 years, a first extension option of 2 years, which Hortalis is reasonably certain to exercise given the significant leasehold improvements it is making (case datum), then a second extension option of 3 years, whose exercise is not reasonably certain. What is the lease term?