Why Obama's Budget Is OK