New theory on test coverage.