Det var vissa formaliteter,