Again, that is all surely true, but you keep talking about the o-neg but the question is what I as a consumer see in the cinema. If the film is shot at 4K digital and projected at 4K digital, I'll basically see projected in cinema the equivalent of what the o-neg is for film, it will be the best possible quality for the film (of course there are other factors to the digital projection than just resolution,so not entirely but close). When I watch a 35mm print, I watch the film in 4 generations worse quality and the situation is very similar as watching 1080p downscale of a 4K digital film. The best situation here would probably be to have the film shot on 35mm and then scan the o-neg at 4K or even 8K and project that digitally at 4K.