@freemo A fair point - but when was the last time Congress actually set a budget? (Was it under Clinton?) It's been nothing but CRs for many decades.