TY - RPRT TI - Formal squares over the unit square separate FS-domains from RB-domains AU - Marco Abbadini PY - 2026 UR - https://arxiv.org/abs/2608.08681 ID - 2608.08681 ER -