so that samsung 55" 4k has 4 hdmi inputs, but can only take input from one external device plus one "mirrored device" (smartphone?). What's the point of the other hdmi inputs then?