Describir: Infinite inference and mathematical conventionalism.