Order Or

Terminal primitive

One pole of the main challenge duality in Resolution. Does not imply rightness.

Local primitive of Resolution. Order here is not rightness; it is one pole of a challenge duality, and it does not trace to Q, M, Si, or Su.

Used by