[alisonkisk]

Holmatrom theorem can have a budget surplus, With Nash Equilibrium and Pareto efficiency. Businesses are (ideally) run with a budget surplus, with profit extracted.