Adding Note about the vector clock rule