An Argument from Proof Theory against Implicit Conventionalism. - Golan, Rea (Philosophical Quarterly, 2024)