Only stopping in for a second, but I think we will soon see a filing that Liberty sold some of their shares back to SiriusXM. I say this because change on BOD, removing 2 Liberty people and adding 2...