Mr. David Gunning:

I have the numbers for the years. There were inflation payments for the years 2019 to 2021, inclusive. The average tender price inflation for 2019 was 6.67%. It went down in 2020 to 2.48%. It rose in 2021 to 10.24% and in 2022, it was 11.4%.