you're paying income tax on income that is not taxable.
It would besimpler to just write a check to US Treasury marked " for debt reduction".
@CommunityQuestionner
