lease abstraction