I think that's probably right—3.9%. So that's not the federal contribution at all. That's a combination of federal, provincial, and municipal together. Isn't that right?
What would be very helpful for this committee is to actually get a number in terms of what the federal government is putting into infrastructure and what percentage of GDP that is compared to OECD countries and their federal contributions. Can we get that number?