Provide proof of correctness