Lease implementation