Sentence 1: For theories at the level of second-order arithmetic , the reverse mathematics program has much to say .
Sentence 2: For theories at the level of reversal - arithmetic has much to say the second mathematics program .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?