Edited to_buy_or_to_lease: created