 A number of concerns arise here. How can Carnap distinguish between empirical, scientific theories, and mathematical ones? Secondly, if pragmatic utility is primarily a matter of empirical applications, how does the Carnapian formalist know that a given calculus will conservatively extend empirical theory, how can this be known without appeal to meaningful mathematical results? Carnap writes: