And the small diamonds are still pretty cheap. He said about $100 per carat of small diamonds. It's not surprising that they're more casual with this inventory.