 I think it's still an open question how much this is going to change American life. I think it's going to take a couple of decades to really work through it. Brian talks about the productivity gains that you can get by moving people into cities. This has been a staple of this literature. Most of the data we have on that is still pre-pandemic.