[yencabulator]

We have many of those that are perfectly fine. Writing proofs is still quite hard, especially proofs that actually say something about your program.

[kamaal]

Proving something is correct is a far harder exercise, than writing a broken but acceptable version of that thing.