 He's already spent $12 million of our tax money. Congress is the one that appropriates the money. Congress did not approve of Jack Smith. So who is paying him? Is he coming out of the Justice Department's budget? It's got to be.