Assess graduate students' recall of formal definitions and core properties of distributed consistency models—linearizability, sequential consistency, causal consistency, and eventual consistency—including their ordering and visibility guarantees, real-time requirements, common relaxations, and typical trade-offs; questions will require distinguishing models and identifying examples or counterexamples of compliance or violation.