For theories at the level of reversal - arithmetic has much to say the second mathematics program .
For theories at the level of reverse-order arithmetic , the second mathematics program has much to say .