On Change of Control (either ELN or BIIB) the company not being acquired has the right to buy out the other's half of Tysabri. It would be subject to valuation, of course.