If they are participating in a Roth option, the income is taxed and then later, the distributions are tax free. You don't need to do anything except use the employer reporting form (W-2) and fill in as you see the info provided. There is no Deduction for contributing to your employer retirement plan through either TSP option; it's already accounted for.