>935
プログラマの意図と書かれたコードが合致してる、という前提条件が抜けてる。