Unfortunately, some of them are buying even more. I know Google spent at least 4B on purchasing office real estate in 2022, probably more