Only quoted.

  • 2022-03-25

Beware of bugs in the above code;
I have only proved it correct, not tried it.

Donald Knuth, in a letter to Peter van Emde Boas