プログラムは、正直である。
プログラムは、嘘はつかない。

正しいプログラムは、正しく動作する。
間違ったプログラムは、ちゃんとエラーを出す。