Question about "lease" definitions