Strictly speaking that wouldn’t work, since a1 is different from a 1, for example.
I don't think they're trying to say that this is a sufficient test for correctness but a necessary one.
I don't think they're trying to say that this is a sufficient test for correctness but a necessary one.