Now we need sufficient conditions for a 'scope indifference' theorem, asserting that it follows from certain hypotheses, that once we get to the ultimate logical forms postulated by Russell's theory, the resulting forms are materially equivalent, regardless of the choices of scope.