For a direct-finance capital lease, the lease receivable is the present value of the minimum lease payments plus an element of gross profit.