Det riktiga förfarandet lärer således vara,