a tool or machine used for wearing down or smoothing or polishing