What Lease Abstraction Is and Why It Matters | CAMAudit