TY - RPRT TI - More on soundness in the enriched context AU - Giacomo Tendas PY - 2025 DO - 10.1016/j.jpaa.2025.108110 UR - https://arxiv.org/abs/2409.00389 ID - 2409.00389 ER -