It might be that they need to pay that amount to attract top CEO talent. But then again, I'm not sure if Mozilla should be large enough to need a top CEO. I mean effectively reducing it to just the Firefox team would be fine with me. And then it's maybe 80 people to manage in total. So that's one regular office building and you're done. It doesn't sound like the CEO will be critical for anything in this company.