The original 35mm and 70mm upscale presentations would have had waaaaay higher resolutions than 4K anyway. Even at 4K it’d still be a downscale. Films should look of their time anyway.