Lease Abstraction Tutorials