[Curated via Llama 3.3 70B fp8-fast | Category: Mathematics | Source: arXiv cs.LO (Logic in CS & Type Theory)]