If it is true that...

In trying to create a watermark for synthetic media, we need a system which ensures that there is always some tell-tale sign of it being fake

Then it must be true that...

Watermarking generated media with an error-ensuring code is an effective way to ensure its ability to be verified as generated

If it is true that...

In trying to watermark synthetic media, we don't need to worry about preserving its truth or semantics

and

Watermarking generated media with an error-ensuring code would fail to preserve the its truth or semantics

Then it must be true that...

Watermarking generated media with an error-ensuring code is an effective way to ensure its ability to be verified as generated

If it is true that...

Watermarking generated media with an error-ensuring code is an effective way to ensure its ability to be verified as generated

and

It is important to be able to verify generated media as being generated

Then it must be true that...

Generated media should be watermarked with an error-ensuring code