Michael earned $10,000 at the K-M Resort Golf Club during the summer prior to his senior year in college. He wants to make a contribution to a traditional IRA, but the amount is dependent on whether it reduces his taxable income. If Michael is going to claim the standard deduction, how much should he contribute to a traditional IRA?