a good example of why having a decent set of tests isn't a proof of correctness.