I wonder how much deeper the ocean would be without sponges?