Assess graduate students' understanding of strong, eventual, and causal consistency in distributed systems by testing formal definitions, visibility and ordering guarantees, typical anomalies (e.g., stale reads, write skew), and trade-offs with availability and latency. Require concise comparisons, example systems or APIs that implement each model, and brief analysis of practical implications for application correctness and design choices in realistic scenarios.