Kubota, Y.; Levine, R. Against Successive Cyclicity: A Proof-Theoretic Account of Extraction Pathway Marking. JLM 2025, 13, 99–165.