Manuscript Oai283-A@1 · Oai283-A.tex · section · 6fb75895
The unchanged XXII-C carrier
Finite futures, three-relation typing, and cone obstructions › The unchanged XXII-C carrier · lines 1312–1316
This is not an obstruction to every finite individual task. It preserves the finite-future obstruction of XXII-D.