Proofs of correctness, hell yeah: