. . "The sum of a quaternion and its conjugate would have every property of real numbers, including being a member of a totally ordered set and commuting under multiplication with any other element on the manifold." . .