I don't think they're trying to say that this is a sufficient test for correctness but a necessary one.