When does the 6,000 dollar additional benefit get subtracted, before you determine what percentage of benefit is taxable or after? in Retirement tax questions