Ok ... simply run the tax form to see this calculation...
tax 20K - 7,500 credit = 12,500 tax owed after credit
21,000 withheld - 12,500 tax owed = 8,500 refund
