Edison has decided to contribute to a savings program. He can open a traditional 401(k) or a Roth 401(k) and has determined that he can afford a $12,000 contribution. Edisons salary is $58,500 per year, and he is in the 25% tax bracket