Obama’s budget passes.