Fair enough, but by deleting two test cases, the coverage essentially decreased. I don't think the letter *a* was chosen for any particular reason, so could we keep the number of test cases by replacing it with another unknown letter?