Test graduate-level recall of formal definitions and the distinguishing guarantees for common consistency models in distributed systems — strong consistency, linearizability, sequential consistency, causal consistency, and eventual consistency. Require concise statements of each model's ordering and visibility properties, a brief example or scenario that distinguishes the guarantee, and one practical implication for correctness or performance.