lease-abstraction

(1)