Maybe you could elaborate a bit more on that, because that's a problem we have noticed elsewhere as well with the number of people in government departments working from home. It's delaying a lot of the things that need to get done.
How does that compare to prepandemic, a year now since, you noted, the government was holding you back? What do you see in the next year or two to get that backlog cleared?