Dup is not necessary because splitting operations are read-only