 In addition, Aristotle uses the intermodal principle \(N\rightarrow A\): that is, a necessary premise entails the corresponding assertoric one. However, because of his definition of possibility, the principle \(A\rightarrow P\) does not generally hold: if it did, then \(N\rightarrow P\) would hold, but on his definition “necessarily \(P\)” and “possibly \(P\)” are actually inconsistent (“possibly \(P\)” entails “possibly not \(P\)”).