But your proof also works against any system that involves people (i.e. all of them), so is the real question whether markets are as efficient as possible given the constraints of having to use fallible people?