Summarize w2-correctness.pdf