Denoument-Completion Proof | ScratchStats