If the identification of contradictory literal pairs presupposes a fixed, non-negotiable logical syn...