What distributed systems can and cannot guarantee — the vocabulary senior engineers expect in system design rounds.