To elaborate the S4 is a package so it comes with software. Technically when you sell the S4 you’re supposed to hand over the software with it. I’m not sure there’s any real way to enforce this. Plus if there’s any S4 updates that may come the buyer might not be able to take advantage of them if they don’t have the full install chain going from S4 to T2. This is purely speculation though.