Does it actually make much of a difference whether it's dumped into the ocean or into the atmosphere? I thought the ocean warming happens because the atmosphere is hotter.