3 ms·It's a pity the $600k won't be deducted from his retirement income.by justin66 9mo agoIt's a pity the $600k won't be deducted from his retirement income.