T1 ട്രാൻസാക്ഷൻ S- ൽ T2 നിർമ്മിക്കുന്ന മൂല്യങ്ങൾ T1 വായിച്ചാൽ, ട്രാൻസാക്ഷൻ S'- ലും ഇതുതന്നെ സംഭവിക്കണം.
ప్రతి x కి S ట్రాన్సాక్షన్ లో ద్వారా ఉత్పత్తి చేయబడిన విలువలను చదివితే S డాష్ ట్రాన్సాక్షన్లో కూడా అదే విధంగా జరగాలి.