> How much are we spending to efficiently allocate capital? About nine percent of the whole economy, apparently.

What is the optimal amount we should spend to efficiently allocate capital? I don't have a principled reason to be able to pick a number; all I have is a gut feeling, which isn't worth anything.