Formellt kan förfarandet beskrivas på följande sätt .