Sedan denna formalitet var uppfylld,