Hard rocks that are smoothed by ice