A mining quarry.