Introduction to Lease Abstraction