 However, each version of the straight principle is false, since we can know one thing, p, but fail to see that p entails q, or for some other reason fail to believe q. Since knowledge entails belief (according to nearly all theorists), we fail to know q. A less obvious worry is that we might reason badly in coming to believe that p entails q. Perhaps we think that p entails q because we think everything entails everything, or because we have a warm tingly feeling between our toes. Hawthorne (2005) raises the possibility that, in the course of grasping that p entails q, S will cease to know p. He also notes that SP1 is defensible on the (deviant) assumption that a thought, p, is equivalent to another, q, if p and q hold in all of the same possible worlds. Suppose p entails q. Then p is equivalent to the conjunction of p and q, and so the thought p is identical to the thought p and q. Hence in knowing p S knows p and q. Assuming that, in knowing p and q, S knows p and S knows q, then when S knows p S knows q, as SP1 says.