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

Select your answer from the options. Are these two sentences paraphrases of each other?
OPTIONS:
* no;
* yes;...I think the answer is
no