Original: It might be in our tests that we do not pick any value for a such that the equality fails.
Simplified: It may be in our tests that we do not pick any value for a such that the equality fails.