Nice post. I've seen techniques like that used before, and I recommend their use. One problem I see is that what counts as an "error" is ambiguous. I might cal

Nice post. I've seen techniques like that used before, and I recommend their use. One problem I see is that what counts as an "error" is ambiguous. I might call something one error, but others classify it as two errors. A more clear definition might be needed, but to first approximation the naive approach should be fine.