 Similarly, the strict implication \((p \rightarrow q)\) is true whenever it is not possible that \(p\) is true and \(q\) is false — i.e., \(\neg \diamond(p \amp \neg q)\). Among the paradoxes of strict implication are the following: