Proceduren skulle då vara den , att,