The funds they want to use are out of the 80 billion IRS funds, which they haven’t explained exactly what the IRS needs an additional 80 billion for.
My post 10 answered your question.