If somebody buys "X" after it fails and renames it "Twitter", will news stories about the new company refer to it as "Twitter, formerly X, formerly Twitter"?