New formulas in Leases