My involvement with the Asian Infrastructure Investment Bank is very, very limited. At the time of the announcement and the set-up, we were to ensure that the budget announcement and the paid-in capital of about $199 million U.S. was paid.
Unfortunately, I don't have any information on the project pipeline in terms of what they have approved, in terms of the type of investments they've approved to date or funded. I have very high-level figures on the total amount of loans or contributions they've made, but I don't have specific information.