sentence1: For theories at the level of reverse-order arithmetic , the second mathematics program has much to say .
sentence2: For theories at the level of second-order arithmetic , the reverse mathematical program has much to say .