Text this: An Argument from Proof Theory against Implicit Conventionalism.