finished discussion of DS correctness in report