Ordering can be added as auxiliary structure without changing computational complexity; P vs NP equi...
This proposition has not been edited since the history system was added.