Comment by llm_trw

I have proved my code has no bugs according to the spec.

I do not make the claim my spec has no bugs.