A formal procession was part of the opening ceremony.