Rio Janeiro den 4 November.