logical clock + vector clock with testing