Sketch on correctness