Detta är en formalitet utan betydelse,