Reminds me of an early attempt at a language created to prove program correctness. One attempt reported there were more errors in the proving language than in

Reminds me of an early attempt at a language created to prove program correctness. One attempt reported there were more errors in the proving language than in the program itself