Immerman and Vardi's theorem requires that order be present in the structure, so the logical reformu...