TY - RPRT TI - The first-order part of the Ordered Variable Word theorem AU - Ludovic Patey PY - 2026 UR - https://arxiv.org/abs/2610.27643 ID - 2610.27643 ER -