Human activities, chiefly burning fossil fuels, adds carbon dioxide into the
ocean. However, the biggest natural process that adds dissolved carbon
dioxide into the deep ocean is: