 If we are to regard p □→ q as true if and only if □((p ∧ S) ⊃ q), then the S must vary for different values of p. More seriously, we have to say something about how S varies with variation in p. Goodman’s own attempts to resolve this problem had generally been regarded as unsuccessful, for reasons discussed in Bennett (1984). So a new solution was needed.