Text this: Numeral completeness of weak theories of arithmetic.