Is this stock going to the Pinks once trading is back? I'm not clear on what could happen. Let's see the 10-K first, and then we'll worry about how the stock will trade.