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 second-order arithmetic , the reverse mathematical program has much to say .

yes

1. The electoral district was created in 1966 from parts of Northumberland -- Frontenac , Hastings South , Hastings , and Prince Edward -- Lennox ridings .
2. The district was created in 1966 from parts of Hastings South , Hastings -- Frontenac , Northumberland and Prince Edward -- Lennox Ridings .

no

1. Auaxa cesadaria is a moth of the family Geometridae . It is found in Japan , China and Taiwan .
2. Auaxa cesadaria is a moth of the Geometridae family and is found in Japan , China and Taiwan .
yes