I want to know the answer to the following question:
Who do engravers use diamond dust for?
All the background I'm provided with is that "For example, he accurately describes the octahedral shape of the diamond, and proceeds to mention that diamond dust is used by engravers to cut and polish other gems owing to its great hardness.". Is that enough to answer the question?
Answer: yes