Armed intervention is always a decision for the proper authorities and not for private companies such as Shell.

We've always said, when it's safe to do so. There's nothing in terms of timing I can say.