Proof by analogy is fraud.

Within C++, there is a much smaller and cleaner language struggling to get out.

Design and programming are human activities; forget that and all is lost.

A program that has not been tested does not work.