It's 11,000 jobs that are cut with one stroke of the pen of President Biden.