() Design an algorithm to occasionally reduce the values of the vector clocks. Your protocol should not destroy any causal relationship between the events occurring after the reduction. Prove its correctness and analyze its performance.