I'm sorry. I don't have that number with me, but we would expect corporate tax revenues to rise in line with corporate profits. That was a year, obviously, when the economy was growing quite strongly coming out of COVID. To me, it's consistent with similar growth rates in corporate profits.