Remember, we had produced budget 2019, which is the reference in the public accounts, in March 2019. The government did provide a fall fiscal update in late 2019, where we had forecasted a deficit for the year of about $25 billion.
There was an uptick in expected deficit for the year between those two forecasting periods, yes.