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