I suspect that is the case too, but we have to write tests without knowledge of the implementations.