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