[modalduality]

P = NP implies the polynomial hierarchy collapses, thus P = Sigma2, so by contradiction P != NP.