If NP ∩ coNP status genuinely depends on formulation choice, it's a notational artifact, not a prope...
This proposition has not been edited since the history system was added.