Beware of bugs in the above code; I have only proved it
correct, not tried it.
The most important thing in the programming language is the
name. A language will not succeed without a good name. I have
recently invented a very good name and now I am looking for a
suitable language. [1967]