Like I said, it depends on the assumptions, but I agree that for most assumptions, there will be some tradeoff and non-zero level of theft occuring.

My main rejection is the idea that the current state is the best possible situation given all possible permutations.