Exhaustive tests are exhaustive.