Dripping water hollows out a stone