>>13
既存の「正しいプログラム」が「正しいプログラムであり続ける」

そんなにおかしいことかね