Started writing an explanation of the proof of correctness