(Edit: parent post sort of got me thinking about if we could practically resolve P?NP to P=NP and the implications of that although it would be much like P=NP.)