How Diamonds are Cut from Rocks