Förfarandet borde dock rätteligen komma underall