 Some theorists distinguish between something they call “single premise” and something they call “multiple-premise closure”. Such theorists would deny that K captures “single premise” closure, because K says that S knows q if S knows that two things are true: that p is true as well as that p entails q. The “single premise” closure principle is usually formulated roughly as follows (following Williamson 2002 and Hawthorne 2004):