Då vi uppfylt denna formalitet,