How CBO May Score the President's Budget