Okay. Thank you very much.
It is 8:30. I don't know the will of the committee. We have this room until 9:30, as we discussed previously. We could finish the full round of questioning in 18 minutes if that's the wish of the committee, or we could adjourn now.
Is there consensus to adjourn?