As of 2021, that number would not be accurate, from our perspective. In 2021, EDC provided approximately $4.3 billion in support to domestic and international companies in the oil and gas sector. It's interesting to note that was also the first year that our support to clean tech actually eclipsed the amount of support provided to oil and gas. That number has come down from approximately $12 billion about five years ago to roughly $4.3 billion in 2021.