Kubota, Y. and Levine, R. 2025. Against successive cyclicity:: A proof-theoretic account of extraction pathway marking. Journal of Language Modelling. 13, 1 (Jun. 2025), 99–165. DOI:https://doi.org/10.15398/jlm.v13i1.339.