Det var blott en af de formaliteter,