TY - RPRT TI - On the enriched approximate completeness AU - Boris Chorny AU - Giuseppe Leoncini PY - 2026 UR - https://arxiv.org/abs/2610.33543 ID - 2610.33543 ER -