How should budget surplus be allocated?