The rule defining last shown above expresses the fact that the actual argument must match the result of narrowing the expression ys++.
Regula care definește last arătat mai sus exprimă faptul că argumentul propriu-zis trebuie să se potrivească cu rezultatul micșorării expresiei ys++.