 That is, we link the numeral for zero with a sentence stating there is exactly one entity of the appropriate type, the numeral for one with a sentence stating there are no such entities. If we do so, add the rules for standard decimal arithmetic, and then try to apply this calculus, disaster will ensue; but do we not need a contentful conservative extension result to show that for the calculi we do use, no disaster can occur?