x1 (li; number) is congruent to x2 (li; number; see description for canonical/traditional/contextless default usage) modulo x3 (li; number); \frac(x1 - x is an integer.
x1 and x2 are indistinguishable from each other, they seem to share all their properties except maybe their location and identity, as perceived by observer x3