I vanliga fall är detta en ren formalitet,