It’s not that it isn’t quite p=np; it actually isn’t p=np.

Still, an impressive accomplishment.