Is any piece you've seen in good enough shape to be in a Lean library?