Well put. And then Nikhil, I'm not going to give you too much detail, but I'll say a little bit, I think, maybe so that everyone kind of understands the complexity that you're referring to. So yes, so imagine a world as will be the world we exist in next year, where there are hundreds of AVs in a market, but there's no way that all of those AVs can satisfy all the ride requests, not even close. So okay. So -- and then imagine -- again, you don't have to use your imagination. This is the future, where those ride requests for AVs are -- well, those ride requests in general, but specifically for AV, of course, are coming in from 2 different platforms. They're coming from the Waymo platform and they're coming from the Lyft platform. So -- so you get quite a complex situation there that you have to manage if you want not to do goofy things like saying, okay, well, you, Waymo, get 100 of those and Lyft, you get 300, which is never a good idea because it means inevitably, there'll be some stranded on one side, they don't get to the other and get stranded on the silly stuff like that. So anyway, to your point, so then your first thought is, well, maybe you're just going to come up with some other very basic heuristics. But it turns out those heuristics are not the way the world -- the real world is very, very -- head of marketplace stochastic. It changes very quickly, very dynamic. You have some peak times, you've got some low times. Neither one of us wants to be stuck with anyway. So I can go into detail about this maybe another time. But the point is it's not going to be straightforward. It's not going to be like, okay, someone so gets the first 10 and then you get the next 10 or whatever it is. Literally, every single time a ride request comes in, the work that we have done and we'll continue to do will be to figure out what is the absolute best way to fulfill that ride. And there will be many, many dimensions of that. Some of it is ETA and so forth, ETA, meaning how fast it is pick you up. Some of it might be time of day. It might make all the sense in the world to start picking people up at certain times of day using only AVs for certain reasons. So anyway, it's sort of a non-answer, non-answer. I grant you that. But this is the reason why this partnership, frankly, took quite a while for us to work out. But we're very confident, both companies are very confident having run a [ bajillion ] models across this thing that we have something that is going to be effectively accretive for both and keep these assets best utilized. The last thing I'll say is I think in a sense, this is really the argument for the big thing, which is a hybrid network. It's really, really hard to satisfy demand just with AVs anytime in the near future. There's just not enough supply in the world. And so -- but drivers, they own their own cars of that size. There's no asset ownership you have to have, and they come on and off quite dynamically, again, depending on pricing. So that's the third dimension. Put it all together, and we think we're going to create something where the whole is great than some of the parts. Maybe someday down the road, we'll tell you a little bit more about how we do that, but that's the big picture.