 Making explicit the situation-theoretic distinction between ‘knowing in’ and ‘knowing about’, we may reinterpret the knowability principle: for each statement \(p\) and situation \(s\), if \(p\) is true in \(s\) then there is a situation \(s^*\) in which it is known that \(p\) is true in \(s\). Edgington requires of knowability the less general thesis: if \(p\) is true in an actual situation \(s\) then there is a possible situation \(s^*\) in which it is known that \(p\) is true in \(s\). Call this E-knowability or EKP: