なるほど。ありがとう!
つまり工具にダイヤの粉をつけてあるわけだ?