Doubt that's how that's going to work in practice as the easiest way for government departments or really any employer to save money after budget cuts has always been to reduce head count. So will be interested to see how they can make that claim.