Formellt riktigt var dock förfarandet,