Many valid programs are quite wrong.