Input (grade 6): It might be in our tests that we do not pick any value for a such that the equality fails.
Output (grade 6): It may be in our tests that we do not pick any value for a such that the equality fails.