Signatures Of Correct Computation