The slow erosion of rock by wave