https://xmau.com/wp/ilpost/2010/08/09/p-np-o-no/
P != NP (o no?)