Comment by n2d4

The withdrawn papers were not lean verified nor claimed to be.