are chemical substances used in mashing rock to be able to gravel