David operates his business as a sole proprietorship. In 2017, he spends $20,000 for a used machine (7-year property). His business income, before consideration of any Section 179 deduction, is $17,000. David elects to expense $20,000 under Section 179. Calculate his total depreciation deduction for 2017.