TY - RPRT TI - Combinatorics in 1-semi-equational theories AU - Mervyn Tong PY - 2026 UR - https://arxiv.org/abs/2609.07475 ID - 2609.07475 ER -