Getting carbon into the ocean is one matter. Getting it down to the depths is another.