Yes, I meant the equality.

We already operate on the assumption that P ≠ NP, so little would change if that were proved.