Text this: Conventionalism in logic ;