[...] LINEARITY ("No Methatesis"): S1 is consistent with the precedence structure of S2, and vice versa. Let x, y ∈ S1 and x', y' ∈ S2. If xℜx' and yℜy', then x < y iff ﹁ (y' < x').- McCarthy & Prince (2004), a pag.436