Carbon in the ocean originates from the atmosphere.