An approximately hemispherical depression made in the bedrock of a river channel by stones or boulders that have been spun rapidly by eddies. Each stone is washed away only to be soon replaced by another, so the drilling action is powerful and ceaseless.