Lease Abstraction