How to distinguish between machine-made sand and natural sand