Are they ever going to truly announce the retirement of those shares? Are they ever going to do anything at all? Is this stock just completely dead?