It's a pity the $600k won't be deducted from his retirement income.