Correctness Proof - Peterson's Solution | OneNoughtOne