Another question: Can it be empirically determined (i.e. with a real decision procedure) that a video file was at some point encoded in something H.264? Would it be possible to remove such a "watermark" from a video mechanically?