Session type: Opening Ceremony