 We've been in this post-pandemic era now for a few years where some programmers are doing stuff from home. There's just less activity in the office. We have more space than we need. This is simply a matter of downsizing, spending less money, being more effective with the resources that our listeners give us.