In this case, the contexts uniquely decompose terms so that only one reduction is possible at any given step.
У том случају, контексти јединствено разлажу услове тако да је само једна редукција могућа у било ком датом кораку.