Sentence 1: As long as formula _ 30 then the reduction is valid thus formula _ 31 .
Sentence 2: As long as Formula 30 is valid , the reduction is thus Formula 31 .
Question: Do Sentence 1 and Sentence 2 express the same meaning? Yes or No?