As the diamond tip of the drill revolves, it is lubricated by mud.

• 在钻机的金刚钻头旋转的时候，泥浆便进行了润滑。