2.1-correctness-203-1221-annotated.pdf