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

Do these two sentences mean the same thing?

pick from the following.
 (a). no.
 (b). yes.
(a).