Thanks very much.
This has been a very interesting panel. Again, we've had a great discussion.
We're going to have a different kind of discussion when we come back. We're going into the open mike session.
We're running a bit late. We were originally scheduled to start the open mike at 6:30, but we're going to aim for 7 p.m.
Thank you.