On the other hand, the clause is effectively equivalent to the original sentence in the sense that it's satisfiable in the expanded language, if and only, if the original sentence is satisfiable in the original language. 