 Possible premises behave differently, however. Since he defines “possible” as “neither necessary nor impossible”, it turns out that \(x\) is possibly \(F\) entails, and is entailed by, \(x\) is possibly not \(F\). Aristotle generalizes this to the case of categorical sentences as follows: