With this algorithm, given any time t, at most one modification box exists in the data structure with time t.
За допомогою цього алгоритму, заданого в будь-який час t, у структурі даних існує не більше одного модифікаційного поля з часом t.