Thank you. In that case, what are some video editor software does with the videos? They can cut some frames from the original video and create a new MP4 file. Are these software just decode and uncompress everything, then remove some frames, then re-encode and re-compress the remaining video?