@JamesMoosh @aperiodical yeah, someone's already mentioned that. I glossed the distinction. Either way, it doesn't directly help P=NP