To address the question, "Should we expect government policy to be
efficient?" at its roots, I modify the well-known Arrow-Debreu
private ownership economy, allowing property rights to be violable.
The result is that equilibria tend to be Pareto inefficient.