So cord cutting is here, and it's real. TiVo has one foot in the old world of pay tv, and one in the new world of cord-cutting. What do you guys think the pay tv industry is going to look like in 10 years? How many channels? What will people be paying for or not paying for?