So if we want to know whether one thing, A, necessitates another, B, we would want to know whether if there is A plus some other thing, X, for any X we care to name, there is still B. This is a test we could adopt for judging whether causes necessitate their effects.