lease-abstraction

(3)