As I said, if we woke up this morning and prices were magically efficient in an idealised sense, at most a few quants would go home and retire early, and tomorrow we'd be back at the level (in-) efficiency that allows people to be market makers.