Why Proof-reading is Hard