TY - RPRT TI - A welded extension of 4-equivalence AU - Emmanuel Graff PY - 2026 UR - https://arxiv.org/abs/2609.04624 ID - 2609.04624 ER -