ni umwanzuro w inyigo wakozwe when a process receives a message it resynchronizes its logical clock with that sender since both expressions equal the size of the same set they equal each other