Distributed Systems 3.3： Causality and happens-before