Assess graduate students' understanding of consistency models in distributed systems: define and contrast eventual consistency, causal consistency, and linearizability; identify their formal guarantees and typical anomalies; evaluate trade-offs between availability, latency, and correctness; and reason about implementation techniques (replication, quorums, vector clocks, linearization points) using short-answer and scenario-based questions.