The CRA and ESDC are doing that work. As I said, our job at the OCG is to prepare the books. This year, based on the information that was out there, what needed to be recognized—and what was identified by these two organizations—was $5.1 billion at the moment.
On November 18th, 2022. See this statement in context.