[readthenotes1]

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