あと、もう一つ。
「エレガントなプログラムの実行過程で異なる変数が同じ値になることはない。」
これも多分正しいと思う。