 how much to spend in total, then what to give to the agencies. But we are seeing a lot of flashpoints, especially in the House, on agencies they want to cut or officials whose salaries they want to reduce to a dollar as a punishment for what their policies have been or their approach to policy matters. So a lot to walk through and get through in these bills, but this isn't the final word on this subject.