I don't really see how people would have learned anything. Back then, they complained about Musk, saying: "Oh, but that was market manipulation!" Today, people again complain: "Oh, but that was market manipulation!" But does it have any consequences?