What type of stone should we mine for if we want to do enchanting in the future?