Osprey Corporation, an accrual basis taxpayer, had taxable income for 2017 and paid $40,000 on its estimated state income tax for the year. During 2017, the company received a $4,000 refund upon filing its 2016 state income tax return. The company filed its 2017 state income tax return in August 2018 and paid the $7,000 state income tax due for 2017. In December 2017, the company received a notice from the state tax commission that an additional $6,000 of income tax was due for 2015 because of an error on the return. The company acknowledged the error in December 2017 and paid the additional $6,000 in tax in February 2018. What is Osprey’s 2017 Federal income tax deduction for state income taxes?