What is the exact plan for the CRS shares? Will these be traded in the near future? I was trying to figure out when you would relist
them in the exchange.