It is provable that the embedded sentence has the same truth value for any eligible value of s, elim...