what happens if the stockticker changes? do we just merge into the new ticker and get some shares from the new company?