vector clocks succeed in making certain both assumptions