Re-worded vclock redundancy explanation.