Why Lease Abstraction Is Not One-and-Done | CAMAudit