Even if that's the case, they aren't even mentioned. I'm guessing Lean failed on the 3 that got withdrawn. And it makes even less sense in that light, because there are 6 verified new things to be explored and built upon, yet the many are putting all that energy into the failures, as if seeking out some hidden truth or something.